codewars / lambda-calculus
Lambda Calculus compiler for Codewars
☆16Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-calculus
- ☆23Updated last month
- agda-mode on VS Code☆170Updated this week
- A Language with Dependent Data and Codata Types☆55Updated this week
- SDL2 bindings for lean☆21Updated 7 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆95Updated 2 years ago
- LaTeX code for a paper on lean's type theory☆119Updated 2 years ago
- Staged compilation with dependent types☆163Updated last week
- A proof assistant for higher-dimensional type theory☆146Updated this week
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆52Updated this week
- Lecture notes on realizability☆65Updated last month
- 😎TT☆218Updated last year
- Mathlib search tool☆62Updated this week
- Organization and planning for the Initial Types Club☆71Updated 2 years ago
- Benchmarks for capture-avoiding substitution☆107Updated 2 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆186Updated 5 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆58Updated this week
- Natural language tactics to teach mathematics using Lean 4☆50Updated last month
- Benchmarking various normalization algorithms for the lambda calculus☆43Updated 2 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆117Updated 7 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- Total Parser Combinators in Agda☆123Updated last year
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆69Updated last week
- Normalization by evaluation of simply typed combinators.☆26Updated 2 years ago
- ☆21Updated 2 months ago
- Normalization by Evaluation for Martin-Löf Type Theory☆122Updated 5 months ago
- ☆221Updated last week
- high-performance cubical evaluation☆68Updated 3 months ago
- Agda formalisation of second-order abstract syntax☆51Updated 2 years ago
- A work-in-progress core language for Agda, in Agda☆41Updated last week
- The agda-unimath library☆222Updated last week