Prolog-to-Bash compiler for declarative automation, featuring BFS-optimized transitive closures and recursion support.
GitHub repository with 5 stars and 1 forks.
Language: Prolog
Topics: automation, bash, compiler, declarative, graph-algorithms, open-source, prolog, recursion, stream-processing, transpiler
Trending score 0.10, activity score 0.40, stars gained +0, forks gained +0.
2026-06-05: 5 stars and 1 forks.
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, open-source
Gemini Planet Imager Data Reduction Pipeline
GitHub repository with 9 stars and 6 forks.
Trending score: 0.15; stars gained: +0; forks gained: +0.
Language: Prolog
Topics: idl, astronomy, exoplanets, data-reduction, geminiplanetimager, ifs
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, open-source
Euler Yet another proof Engine
GitHub repository with 164 stars and 19 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Prolog
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
GitHub repository with 3,306 stars and 136 forks.
Trending score: 0.03; stars gained: +0; forks gained: +2.
Language: Prolog
Topics: acid, cms, collaboration, database, document-database, graph-database
Production-ready platform for agentic workflow development.
GitHub repository with 143,965 stars and 22,653 forks.
Trending score: 4.60; stars gained: +322; forks gained: +54.
Language: TypeScript
Topics: agent, agentic-ai, agentic-framework, agentic-workflow, ai, automation
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
GitHub repository with 191,182 stars and 58,295 forks.
Trending score: 4.23; stars gained: +320; forks gained: +56.
Language: TypeScript
Topics: ai, apis, automation, cli, data-flow, development
The first open-source harness builder for AI coding. Make AI coding deterministic and repeatable.
GitHub repository with 22,185 stars and 3,348 forks.
Trending score: 3.32; stars gained: +53; forks gained: +3.
Language: TypeScript
Topics: ai, automation, bun, claude, cli, coding-assistant
Trigger.dev – build and deploy fully‑managed AI agents and workflows
GitHub repository with 15,220 stars and 1,284 forks.
Trending score: 3.00; stars gained: +28; forks gained: +2.
Language: TypeScript
Topics: ai, ai-agent-framework, ai-agents, automation, background-jobs, mcp
MobileGym: A Verifiable and Highly Parallel Simulation Platform for Mobile GUI Agent Research · 浏览器里运行的安卓模拟器 · Browser-hosted Android Simulator · Verifiable Evaluation · Scalable Online RL Training
GitHub repository with 518 stars and 82 forks.
Trending score: 3.00; stars gained: +33; forks gained: +4.
Language: TypeScript
Topics: agent, agents, ai, android, automation, benchmark
The open source control plane for platform engineering.
GitHub repository with 2,874 stars and 324 forks.
Trending score: 2.62; stars gained: +23; forks gained: +1.
Language: Go
Topics: automation, control-plane, devops, event-driven, go, kubernetes