hbr / Lambda-CalculusLinks
Some papers on "Lambda Calculus"
☆33Updated 2 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:
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 9 years ago
- S-expression swiss knife☆47Updated last month
- SKI combinators☆56Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 3 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆51Updated 5 months ago
- A deterministic parser with fused lexing☆75Updated 2 years ago
- Fωμ type checker and compiler☆56Updated 2 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Updated 4 months ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- Coq library for verified low-level programming☆61Updated 8 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆64Updated 7 months ago
- Matita (proof assistant) with embedded elpi☆15Updated 7 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 7 months ago
- SPSC: A Small Positive Supercompiler☆39Updated last year
- Coq plugin for monomorphization and C code generation☆36Updated 2 weeks ago
- The Next Generation of Compositional Programming☆56Updated 2 weeks ago
- OCaml plus Jane Street extensions☆73Updated last year
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- A Deductive Verification Tool for OCaml Programs☆75Updated 3 months ago
- Reference compiler for c0☆39Updated 3 weeks ago
- ☆44Updated 4 years ago
- Gallina to Bedrock2 compilation toolkit☆65Updated this week
- Playing with type systems☆51Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- An OCaml library providing a C parser and lexer☆42Updated last year
- A tool-agnostic formal specification language for OCaml.☆154Updated last month
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago