codewars / lambda-calculusLinks
Lambda Calculus compiler for Codewars
☆17Updated 3 months ago
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☆185Updated this week
- The agda-unimath library☆283Updated this week
- 😎TT☆241Updated 2 months ago
- HoTTEST Summer School materials☆322Updated 7 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆418Updated this week
- Staged compilation with dependent types☆187Updated 8 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆268Updated last week
- Contextual types meet mechanized metatheory!☆206Updated 4 months ago
- Benchmarks for capture-avoiding substitution☆121Updated 8 months ago
- A new Categories library for Agda☆396Updated last week
- SDL2 bindings for lean☆23Updated last month
- A proof assistant for higher-dimensional type theory☆231Updated this week
- Categorical Logic Notes☆81Updated 3 years ago
- ☆144Updated last month
- Benchmarking various normalization algorithms for the lambda calculus☆48Updated 3 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆68Updated last week
- Compiling Agda code to readable Haskell☆199Updated 2 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 3 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆203Updated 2 months ago
- Total Parser Combinators in Agda☆133Updated 5 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Proof assistant based on the λΠ-calculus modulo rewriting☆368Updated this week
- EPIT 2020 - Spring School on Homotopy Type Theory☆110Updated 4 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- Selected Papers of Dana S. Scott☆171Updated last year
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated last week
- Lecture notes on realizability☆75Updated 11 months ago
- Agda formalisation of second-order abstract syntax☆55Updated 3 years ago