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:
- ☆25Updated 9 months ago
- ☆33Updated 8 months ago
- SDL2 bindings for lean☆22Updated last year
- agda-mode on VS Code☆176Updated this week
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆61Updated this week
- antifunext☆34Updated last year
- Raylib bindings for Lean4☆26Updated 2 months ago
- Normalization by evaluation of simply typed combinators.☆26Updated 3 years ago
- A work-in-progress core language for Agda, in Agda☆52Updated 2 weeks ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 3 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆20Updated last week
- Eventually a practical 2-level TT-based compiler☆27Updated 3 months ago
- Language Server for Agda☆112Updated 6 months ago
- Benchmarking various normalization algorithms for the lambda calculus☆45Updated 2 years ago
- Mechanizations of Type Theories☆30Updated last week
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- ♾️ A library for universe levels and universe polymorphism☆35Updated 6 months ago
- A WIP definitional (co)datatype package for Lean4☆38Updated 6 months ago
- A tutorial on how Agda infers things☆43Updated 4 years ago
- a proof-of-concept programming language based on call-by-push-value☆54Updated this week
- Total Parser Combinators in Agda☆129Updated 2 years ago
- Mathlib search tool☆93Updated 2 weeks ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Topos theory in Lean 4☆12Updated 4 months ago
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- A toy example of a verified compiler.☆28Updated 2 months ago
- Lecture notes on realizability☆72Updated 4 months ago
- A type theory for tiny objects☆17Updated last year