DSPy: The framework for programming—not prompting—language models
Repository Index
78,850 visible repositories in the index
1–12 of 12 · Most stars
NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.
- agents
- guardrails
- python
- safety
A language model programming library.
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!
A language for constraint-guided and efficient LLM programming.
- chatgpt
- huggingface
- language-model
- programming-language
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
Mellea is a library for writing generative programs.
- agents
- generative-ai
- llms
- generative-computing
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
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