47,133 repositories indexed
73–96 of 251 · Most stars
The open-source governance layer for AI agents: write the rules declaratively, Bernstein enforces them and produces the verifiable, replayable record. Free, Apache-2.0. https://bernstein.run
RSI-Anything: Unlocking Recursive Self-Improvement with World Models
Agent skill for creative 3D visualization: turn an idea into a Three.js/Blender scene worth exploring. Claude Code + Codex plugin, 223 recipes, 440 knowledge records, 22 proved kits, 37 runnable studies.
Improved UI and workflow for the Neovim quickfix
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Improve the readability of R code with the pipe
A curated research map of Recursive Self-Improvement (RSI): models, agents, harnesses, embodied systems, automated AI R&D, benchmarks, and safety.
Official OpenMage LTS codebase | Migrate easily from Magento Community Edition in minutes! Download the source code for free or contribute to OpenMage LTS | Security vulnerability patches, bug fixes, performance improvements and more.
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
Improvements for Ruby's IRB console 💎︎
Cryptographic Primitive Code Generation by Fiat
Open source AI Employees. 8 scheduled business roles, 60 routines, on Claude Code and 10 other harnesses. They drive your browser the way you do and improve every run. You own the files.
An axiom-free formalization of category theory in Coq for personal study and practical work
💡 Easily improve the user experience of your Shiny apps in seconds
A go library to improve readability in terminal apps using tabular data
Mathematical Components
Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until another agent proves it. Your decisions, judgement and taste are the bar that work must clear. Declare your vision and let agents build it.
Airtime is Sourcefabric’s open source radio software for scheduling and remote station management. Airtime provides a reliable audio playout with sub-second precision, an improved interface with modern usability features, advanced user management supporting roles and a Google-style calendar to schedule and move shows and playlists.
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
A framework for formally verifying distributed systems implementations in Coq
Neovim support for the Lean theorem prover
Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Make your prompt asynchronous to improve the reactivity.