codewars / lambda-calculusLinks
Lambda Calculus compiler for Codewars
☆16Updated last year
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☆177Updated 3 weeks ago
- Normalization by evaluation of simply typed combinators.☆26Updated 3 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 3 years ago
- antifunext☆33Updated 11 months ago
- Benchmarking various normalization algorithms for the lambda calculus☆45Updated 2 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆27Updated 3 weeks ago
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- Lecture notes on realizability☆72Updated 3 months ago
- ☆25Updated 9 months ago
- ☆33Updated 8 months ago
- Selected Papers of Dana S. Scott☆162Updated 11 months ago
- Total Parser Combinators in Agda☆128Updated 2 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆60Updated this week
- A bottom-up approach to a verified implementation of MLTT☆20Updated this week
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- Agda as a collaborative multiplayer game☆36Updated 7 months ago
- A work-in-progress core language for Agda, in Agda☆52Updated last month
- Fast equality saturation in Haskell☆84Updated 3 months ago
- Eventually a practical 2-level TT-based compiler☆27Updated 2 months ago
- ☆24Updated last year
- Compiling Agda code to readable Haskell☆189Updated this week
- Benchmarks for capture-avoiding substitution☆114Updated last week
- SDL2 bindings for lean☆22Updated last year
- Mechanizations of Type Theories☆29Updated 3 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 4 months ago
- An embedding of ZFC into Agda☆14Updated 3 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Updated 3 months ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated 8 months ago