hbr / Lambda-CalculusLinks
Some papers on "Lambda Calculus"
☆32Updated 2 weeks ago
Alternatives and similar repositories for Lambda-Calculus
Users that are interested in Lambda-Calculus are comparing it to the libraries listed below
Sorting:
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- A tool-agnostic formal specification language for OCaml.☆153Updated last week
- ☆44Updated 3 years ago
- OCaml plus Jane Street extensions☆72Updated last year
- How do you do that recursive GADT thing again?☆28Updated last year
- Fωμ type checker and compiler☆54Updated 2 years ago
- A deterministic parser with fused lexing☆74Updated 2 years ago
- A toy language based on LLVM that implements the System Fω type-system☆112Updated 2 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- A Deductive Verification Tool for OCaml Programs☆75Updated last month
- Reference compiler for c0☆38Updated last week
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 6 months ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- 🩺 A library for compiler diagnostics☆47Updated 3 months ago
- SKI combinators☆55Updated 8 years ago
- TPTP linear logic version☆15Updated 9 months ago
- EGraphs in OCaml☆77Updated last year
- Playing with type systems☆51Updated 10 months ago
- A collection of programming languages and type systems.☆33Updated 6 months ago
- Purely functional GUI algebra☆79Updated 7 months ago
- A template for you to implement Hazelnut yourself☆22Updated 4 months ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Updated 2 months ago
- ☆39Updated 3 years ago
- An encyclopedia of proofs☆63Updated last year
- OCaml code to construct an NFA from a regular expression☆52Updated 5 years ago
- ☆64Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆29Updated 10 months ago
- The Next Generation of Compositional Programming☆54Updated last week