Starred repositories
9
stars
written in TypeScript
Clear filter
Easy to maintain open source documentation websites.
Autonomous multi-session AI coding
Lean theorem proving interface which feels like pen-and-paper proofs.
VSCode extension that demonstrates the use of large language models (LLMs) for active debugging of programs
An open-source Text2SQL tool that transforms natural language into SQL using graph-powered schema understanding. Ask your database questions in plain English, QueryWeaver handles the weaving.