A rust port of con-leche
☆34Oct 31, 2026Updated this week
Alternatives and similar repositories for con-ron
Users that are interested in con-ron are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An external lean checker with a proof of consistency☆142Updated this week
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 3 weeks ago
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 months ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆30Oct 22, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lean playground for programming language modeling tooling.☆16May 20, 2026Updated 5 months ago
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated 2 weeks ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆28Jul 27, 2026Updated 3 months ago
- Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions☆14Jul 15, 2026Updated 3 months ago
- An auto-active program verifier in Lean☆134Oct 26, 2026Updated last week
- ☆16Jul 3, 2023Updated 3 years ago
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 3 weeks ago
- experimental LeanOS formally verified OS☆19Updated this week
- ☆247Oct 14, 2026Updated 3 weeks 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.
- SIGPLAN website☆13Oct 23, 2026Updated 2 weeks ago
- an agent harness is just a monoid in the category of endofunctors☆42Updated this week
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- A Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable☆23Updated this week
- Rust bindings for the Lean 4 proof assistant☆52Sep 24, 2025Updated last year
- Plain-text declaration export for Lean 4☆49Oct 14, 2026Updated 3 weeks ago
- A full-stack web and TUI framework inspired by Yesod and Elm.☆13Oct 29, 2026Updated last week
- A P model of durable Promises☆14Oct 6, 2023Updated 3 years ago
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆19Jul 12, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 9 years ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- WybeCoder Verified Generation of Imperative Code with LLMs☆42May 6, 2026Updated 6 months ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆22Oct 12, 2026Updated 3 weeks ago
- A tutorial for learning the seL4 Microkit☆13Updated this week
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- ☆58Updated this week
- A distributed execution framework built upon lunatic.☆16Updated this week
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10May 20, 2026Updated 5 months ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- A basic rate-limiting library for Haskell☆20Jan 3, 2023Updated 3 years ago
- ☆18Jul 30, 2026Updated 3 months ago