hbr / Lambda-CalculusLinks
Some papers on "Lambda Calculus"
☆32Updated last month
Alternatives and similar repositories for Lambda-Calculus
Users that are interested in Lambda-Calculus are comparing it to the libraries listed below
Sorting:
- ☆44Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- Parallel ML compiler☆73Updated 5 years ago
- SPSC: A Small Positive Supercompiler☆38Updated last year
- Experiment on how to bootstrap the OCaml compiler☆110Updated 3 years ago
- S-expression swiss knife☆47Updated this week
- Coq library for verified low-level programming☆60Updated 8 years ago
- A collection of programming languages and type systems.☆33Updated 5 months ago
- The Twelf Programming Language☆145Updated 2 weeks ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆30Updated 6 years ago
- Gallina to Bedrock2 compilation toolkit☆62Updated 3 weeks ago
- A template for you to implement Hazelnut yourself☆22Updated 3 months ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- The Next Generation of Compositional Programming☆54Updated 2 months ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆81Updated 8 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆102Updated 5 months ago
- A deterministic parser with fused lexing☆73Updated 2 years ago
- Slog 1.0☆45Updated last year
- An encyclopedia of proofs☆63Updated 11 months ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆30Updated 2 months ago
- Preprocessor / Pretty Printer for OCaml☆76Updated 3 weeks ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆83Updated 2 months ago