the agi compiler: records llm agent behavior, proves what repeats, and compiles it into verified, sandboxed wasm binaries that run for microdollars. nothing figured out twice, paper: https://arxiv.org/abs/2607.04542
A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.
C-to-Malbolge compiler research laboratory with exact VMs, translation validation, self-modifying-code analysis, verified optimization, native execution, and CUDA acceleration.
Synthesizing Image drawing program with Stochastic search
Program synthesis engine that solves all problems in LamBench with no model, no tokens, certified by the benchmark's own referee.
A λ-calculus synthesizer that invents its own vocabulary.
An LLM rewrites your code, a fast Rust scorer grades it on held-out data, the best survives — thousands of iterations a night. Runs as a flat-fee Claude Code session, not a metered Anthropic API loop.
A chess engine given the rules and nothing else. It learns its evaluation, its search, and the concepts it uses from its own games, then explains them from its own computation. Specification stage.
Self-Synthesizing Programming Language — write specs, the compiler writes the implementation. MCTS + Z3 + LLM hybrid synthesis engine.
Chronos - The Self-Evolving Neural Compiler. From Natural Language to Verified Machine Code. Combines LLMs, Formal Verification (Z3), and Graph Neural Networks.
Reach, Not Selection: measuring what is missing on ARC-AGI-2 (ARC Prize 2026 paper track). Code, data, preregistrations, decision log.
A verified WebAssembly superoptimizer in Rust with SSA search, CEGIS, Z3 proofs, and i32/i64 support.
Compute-aware Bayesian program mixtures in Rust, starting with finite-state predictors.
A framework for generating programs from grammars.
To associate your repository with the program-synthesis topic, visit your repo's landing page and select "manage topics."