A formalization of ML kernel languages
☆45Mar 6, 2026Updated 2 weeks ago
Alternatives and similar repositories for KLR
Users that are interested in KLR are comparing it to the libraries listed below
Sorting:
- A StableHLO analyzer in Lean☆21Jul 22, 2025Updated 7 months ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆16Jan 5, 2026Updated 2 months ago
- Formal specification of the Haskell Language Report☆32Mar 2, 2026Updated 2 weeks ago
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- ☆149Updated this week
- ☆43Aug 11, 2025Updated 7 months ago
- A verified tensor library in Lean☆38Oct 9, 2025Updated 5 months ago
- A search engine for Lean 4 declarations☆57Mar 9, 2026Updated last week
- ☆19Apr 5, 2025Updated 11 months ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆56Feb 24, 2026Updated 3 weeks ago
- Formalization of the Millennium Problems in Lean 4☆45Jan 16, 2026Updated 2 months ago
- ☆12Mar 11, 2026Updated last week
- Typed effects API for OxCaml☆26Jan 15, 2026Updated 2 months ago
- sockets for Lean 4☆22Jul 10, 2025Updated 8 months ago
- Armv8 Native Code Symbolic Simulator in Lean☆97Nov 21, 2025Updated 4 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- SorryDB indexes sorries in public lean repositories☆44Mar 9, 2026Updated last week
- 🌐 | HTTP primitives for Lean 4☆53Dec 23, 2025Updated 2 months ago
- A Testing Framework for Lean☆76Mar 6, 2026Updated 2 weeks ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- A Machine-to-Machine Interaction System for Lean 4.☆136Feb 24, 2026Updated 3 weeks ago
- Mathlib search tool☆126Mar 11, 2026Updated last week
- Intuitive, type-safe expression quotations for Lean 4.☆102Mar 9, 2026Updated last week
- Helper toolkit for creating your own Lean 4 UserWidgets☆192Mar 9, 2026Updated last week
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆80Updated this week
- ☆13Jan 23, 2022Updated 4 years ago
- The Lean Computer Science Library (CSLib)☆425Mar 13, 2026Updated last week
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated last year
- ☆83Mar 10, 2026Updated last week
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Aug 21, 2025Updated 7 months ago
- Generic API for dispatch to Pyro backends.☆16Feb 13, 2022Updated 4 years ago
- ☆14Updated this week
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- ☆13Aug 29, 2025Updated 6 months ago
- SampCert : Verified Differential Privacy☆91May 1, 2025Updated 10 months ago
- ☆215Updated this week
- A Haskell probabilistic programming library.☆21Feb 19, 2026Updated last month
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆81Feb 25, 2026Updated 3 weeks ago
- A Lean 4 library for iterators.☆14Dec 10, 2023Updated 2 years ago