codewars / lambda-calculusLinks
Lambda Calculus compiler for Codewars
☆16Updated last month
Alternatives and similar repositories for lambda-calculus
Users that are interested in lambda-calculus are comparing it to the libraries listed below
Sorting:
- agda-mode on VS Code☆179Updated this week
- SDL2 bindings for lean☆23Updated last year
- Selected Papers of Dana S. Scott☆168Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated this week
- 😎TT☆233Updated 2 months ago
- The agda-unimath library☆273Updated this week
- HoTTEST Summer School materials☆314Updated 5 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- A proof assistant for higher-dimensional type theory☆218Updated 2 months ago
- Categorical Logic Notes☆80Updated 3 years ago
- Compiling Agda code to readable Haskell☆194Updated 3 weeks ago
- Mathlib search tool☆106Updated last week
- Benchmarking various normalization algorithms for the lambda calculus☆47Updated 3 years ago
- Lecture notes on realizability☆74Updated 8 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆120Updated 5 months ago
- Staged compilation with dependent types☆183Updated 5 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆249Updated 2 months ago
- Contextual types meet mechanized metatheory!☆200Updated last month
- A wiki for collaborative work on totally legitimate "category theory"☆125Updated last year
- A formalization of geometry in Coq based on Tarski's axiom system☆200Updated 5 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated last week
- Normalization by Evaluation for Martin-Löf Type Theory☆129Updated last year
- Total Parser Combinators in Agda☆132Updated 2 months ago
- Agda as a collaborative multiplayer game☆38Updated last year
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆67Updated last week
- A new Categories library for Agda☆390Updated 3 weeks ago
- being an operating system for typechecking processes☆130Updated 3 weeks ago
- high-performance cubical evaluation☆75Updated 6 months ago