argumentcomputer / Megaparsec.leanLinks
Lean 4 port of Megaparsec
β34Updated 2 years ago
Alternatives and similar repositories for Megaparsec.lean
Users that are interested in Megaparsec.lean are comparing it to the libraries listed below
Sorting:
- π | HTTP primitives for Lean 4β53Updated last month
- Parser Combinator Library for Lean 4β75Updated last week
- Ground Zero: Lean 4 HoTT Libraryβ77Updated 2 weeks ago
- Lean 4 bindings to libcurlβ13Updated this week
- being an operating system for typechecking processesβ130Updated 4 months ago
- Demo for dependent types + runtime code generationβ72Updated 11 months ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.β94Updated last week
- Anders: Cubical Type Checkerβ23Updated 2 years ago
- A toy example of a verified compiler.β31Updated this week
- A Testing Framework for Leanβ72Updated last week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.β64Updated last year
- high-performance cubical evaluationβ79Updated 9 months ago
- Formalising the WASM spec in Leanβ27Updated 2 months ago
- Write C shims from within Lean code.β82Updated 6 months ago
- Language Server for Agdaβ123Updated 3 months ago
- A Lean 4 library for iterators.β14Updated 2 years ago
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ37Updated 2 months ago
- Agda grammar for tree-sitterβ42Updated 5 months ago
- A core language and API for dependently typed languagesβ97Updated 11 months ago
- Package manager for Idrisβ37Updated 3 years ago
- Prototype for https://github.com/Innf107/vegaβ19Updated last year
- Programming Language Foundations in Leanβ48Updated 6 months ago
- A toy dependent typed language.β36Updated last week
- Experimental tree-sitter parser for the Lean (4) Theorem Proverβ41Updated last year
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.β101Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.β54Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.β24Updated last year
- A verified compiler for a lazy functional languageβ37Updated this week
- A work-in-progress core language for Agda, in Agdaβ64Updated this week
- Toy implementation of Martin-LΓΆf Type Theoryβ30Updated 3 years ago