AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
☆154Jun 25, 2026Updated last week
Alternatives and similar repositories for Archon
Users that are interested in Archon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Jan 20, 2025Updated last year
- ☆173Jun 8, 2026Updated 3 weeks ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 11 months ago
- ☆250Apr 30, 2026Updated 2 months ago
- Lean 形式化数学☆18Dec 20, 2025Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tool to analyse the import structure of lean projects.☆21Jun 17, 2026Updated 2 weeks ago
- Tooling for exact and MinHash deduplication of large-scale text datasets☆90Mar 24, 2026Updated 3 months ago
- Data mapping framework for rust stuff☆57Mar 25, 2026Updated 3 months ago
- ☆56Jan 23, 2026Updated 5 months ago
- General neural tactic for Lean 4☆31Updated this week
- Python client to interact with the lean4 language server.☆46Jun 9, 2026Updated 3 weeks ago
- GAP package guava - computations relative to error-correcting codes☆20Jun 19, 2026Updated 2 weeks ago
- ☆434Feb 13, 2026Updated 4 months ago
- ☆15Jul 29, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- A simple ROS based XCP like calibration tool for Simulink modeling☆14Feb 11, 2022Updated 4 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- A static analysis tool for Lean 4.☆124Jun 22, 2026Updated last week
- ☆11Jun 10, 2026Updated 3 weeks ago
- ☆21Feb 27, 2023Updated 3 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 9 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Interactive-diagrams☆39May 18, 2015Updated 11 years ago
- Revamp / enhancements of the FPGA part of the Firebee project☆12Apr 26, 2014Updated 12 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆14Apr 8, 2024Updated 2 years ago
- Catalog Of Math Problems Formalized In Lean☆246Updated this week
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆55Feb 23, 2026Updated 4 months ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- ☆13Apr 30, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆18Feb 27, 2023Updated 3 years ago
- Data and models for the paper "Configurable Safety Tuning of Language Models with Synthetic Preference Data"☆17Jul 27, 2024Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 5 months ago
- Acorn's standard library of mathematical facts.☆59Jun 18, 2026Updated 2 weeks ago
- Verilog FPGA code : including experimental DSP audio processor☆13Dec 1, 2020Updated 5 years ago
- ☆176Aug 27, 2025Updated 10 months ago
- Pux TodoMVC☆13Aug 17, 2017Updated 8 years ago