DSPy: The framework for programming—not prompting—language models
Repository Index
78,351 visible repositories in the index
1–23 of 23 · Most stars
The Modular Platform (includes MAX & Mojo)
- ai
- language
- machine-learning
- mojo
A 2.78-trillion-parameter Kimi K3 running inference on a single CPU in 8.24 GB of RAM. Portable C99: no BLAS, no framework, no GPU.
- avx2
- c99
- cpu-inference
- deep-learning
LangChain for Go, the easiest way to write LLM-based programs in Go
NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.
- agents
- guardrails
- python
- safety
An open, programmable decision layer for models and compute.
- mixture-of-models
- semantic-router
- vllm
- ai-gateway
A language model programming library.
Kodezi Chronos is a debugging-first language model that achieves state-of-the-art results on SWE-bench Lite (80.33%) and 67% real-world fix accuracy, over six times better than GPT-4. Built with Adaptive Graph-Guided Retrieval and Persistent Debug Memory. Model available Q1 2026 via Kodezi OS.
- artificial-intelligence
- benchmark
- benchmark-report
- bug-fixing
TranslatedDeepAnalyze is the first agentic LLM for autonomous data science. 🎈Your AI data analyst, automatically analyzes large amounts of data and generates professional analysis reports with one click!
The open-source visual AI programming environment and TypeScript library
A language for constraint-guided and efficient LLM programming.
- chatgpt
- huggingface
- language-model
- programming-language
REAP - Prompts for you to use REA (Reverse Engineer Anything), get the most out of it, and clone or break down any program
- prompt-engineering
- rea
- reverse-enginnering
An open-source visual programming environment for battle-testing prompts to LLMs.
- ai
- evaluation
- large-language-models
- llmops
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
AICI: Prompts as (Wasm) Programs
Mellea is a library for writing generative programs.
- agents
- generative-ai
- llms
- generative-computing
Generate UI screens from text prompts and extract their HTML and screenshots programmatically.
Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ.
- huggingface
- inverse-graphics
- latex
- llama
A neurosymbolic perspective on LLMs
- large-language-models
- neurosymbolic-ai
- probabilistic-programming
A program that provides LLMs with the ability to complete complex tasks using plugins.
An agent that compiles git maintenance chores into reusable programs, then decides whether to replay them by running checks rather than by guessing the task looks familiar
- agent-architecture
- git-automation
- llm-agents
- program-synthesis
The first exam for code agents in the physical world: frozen robot tasks from many benchmark suites, each answered with a program and verified in a separate sandbox. Runs on Harbor.
- ai-agents
- benchmark
- coding-agents
- embodied-ai