AxiomCodeAI/axiomcodegraph
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
A star delta has been computed for 62,678 of 63,382 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 02:18 and 23:59 (BKK).
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Composable mathematics tools for agents
Creusot helps you prove your Rust code is correct.
Analyze Rust crates without touching compiler internals
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Cryptographic protocol analysis for real-world protocols.
Interactive playground for exploring and sharing TLA+ specifications in the browser.
TLA+ language support for Visual Studio Code
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
That's all 9 repositories in this period.