A language for constraint-guided and efficient LLM programming.
- chatgpt
- huggingface
- language-model
- programming-language
Repository Index
65,264 visible repositories in the index
1–8 of 8 · Most stars
👾 Open source implementation of the ChatGPT Code Interpreter
- chatgpt
- chatgpt-code-generation
- code-interpreter
- codeinterpreter
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Symbol-level code retrieval for AI agents: fetch the function you need, not the whole file. Runs locally. 96.2% fewer tokens per lookup on average than grep-and-read on our 15-lookup benchmark. Works with Claude Code, Cursor, Codex and any MCP client. Free for non-commercial use; commercial use needs a one-time license.
High level asynchronous concurrency and networking framework that works on top of either Trio or asyncio
- async-await
- trio
- asyncio
Run-time type checker for Python
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
Python libusdt bindings