axone-protocol/prolog

🧠 The Axone Prolog VM

GitHub repository with 5 stars and 0 forks.

Language: Go

Topics: prolog, scripting-language, virtual-machine

Open provider repository

Latest metric snapshot

2026-06-05: 5 stars and 0 forks.

Trending in Go

  1. 1. esengine/DeepSeek-Reasonix

    DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.

    GitHub repository with 18,229 stars and 1,086 forks.

    Trending score: 5.71; stars gained: +1,388; forks gained: +87.

    Language: Go

    Topics: agent, agent-framework, ai-agent, ai-coding, cli, coding-agent

  2. 2. alibaba/open-code-review

    Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thread-safety, XSS, SQL injection), OpenAI & Anthropic compatible.

    GitHub repository with 1,939 stars and 106 forks.

    Trending score: 4.49; stars gained: +545; forks gained: +21.

    Language: Go

    Topics: agent, code-review, code-review-assistant, harness, repository-level-context

  3. 3. ollama/ollama

    Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

    GitHub repository with 173,212 stars and 16,447 forks.

    Trending score: 3.96; stars gained: +222; forks gained: +40.

    Language: Go

    Topics: deepseek, gemma, gemma3, glm, go, golang

  4. 4. kubernetes/kubernetes

    Production-Grade Container Scheduling and Management

    GitHub repository with 122,695 stars and 43,255 forks.

    Trending score: 3.87; stars gained: +65; forks gained: +21.

    Language: Go

    Topics: kubernetes, go, cncf, containers

  5. 5. MatinSenPai/SenPaiScanner

    A light-weight scanner for Cloudflare IPs, written in Golang

    GitHub repository with 1,178 stars and 71 forks.

    Trending score: 3.75; stars gained: +126; forks gained: +5.

    Language: Go

  6. 6. avelino/awesome-go

    A curated list of awesome Go frameworks, libraries and software

    GitHub repository with 174,609 stars and 13,287 forks.

    Trending score: 3.72; stars gained: +196; forks gained: +8.

    Language: Go

    Topics: awesome, awesome-list, go, golang, golang-library, hacktoberfest

Trending topic: prolog

  1. 1. trealla-prolog/trealla

    A compact, efficient Prolog interpreter written in plain old C.

    GitHub repository with 360 stars and 30 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: C

    Topics: c, iso-prolog-standard, prolog, prolog-implementation, prolog-interpreter, prolog-programming-language

  2. 2. s243a/UnifyWeaver

    Prolog-to-Bash compiler for declarative automation, featuring BFS-optimized transitive closures and recursion support.

    GitHub repository with 5 stars and 1 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: Prolog

    Topics: automation, bash, compiler, declarative, graph-algorithms, linear-recursion

  3. 3. SWI-Prolog/swipl-devel

    SWI-Prolog Main development repository

    GitHub repository with 1,246 stars and 212 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: C

    Topics: swi-prolog, prolog, logic-programming

  4. 4. yogthos/chiasmus

    Chiasmus is an MCP server that gives language models access to formal verification

    GitHub repository with 188 stars and 10 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: TypeScript

    Topics: ai-agents, ai-assistant, ai-tools, formalmethods, llm, mcp