argumentcomputer / Megaparsec.lean
Lean 4 port of Megaparsec
☆22Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for Megaparsec.lean
- Parser Combinator Library for Lean 4☆34Updated last week
- SDL2 bindings for lean☆21Updated 7 months ago
- 🪆 A Staged Type Theory☆34Updated last year
- ☆17Updated 8 months ago
- ☆22Updated this week
- Type Checking in Lean 4☆24Updated 2 months ago
- Ground Zero: Lean 4 HoTT Library☆45Updated 3 weeks ago
- sockets for Lean 4☆17Updated 3 months ago
- Hanoi tower in Coq☆24Updated last year
- Organize mathematical thoughts☆19Updated last year
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆69Updated last week
- Write C shims from within Lean code.☆50Updated 2 weeks ago
- ☆18Updated last month
- An implementation of a simple Neural network in Idris using category theory.☆22Updated last month
- ☆22Updated 2 weeks ago
- ♾️ A library for universe levels and universe polymorphism☆33Updated last month
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆32Updated last year
- A Lean 4 library for iterators.☆11Updated 11 months ago
- A MySQL API for Lean 4☆17Updated 2 years ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆33Updated 5 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 2 years ago
- A Testing Framework for Lean☆44Updated 3 weeks ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆29Updated last year
- A type theory with native support for Polynomial Functors.☆38Updated last year
- Algebraic proof discovery in Agda☆32Updated 2 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆68Updated 2 months ago