hbr / Lambda-Calculus
Some papers on "Lambda Calculus"
☆29Updated 3 weeks ago
Alternatives and similar repositories for Lambda-Calculus:
Users that are interested in Lambda-Calculus are comparing it to the libraries listed below
- A collection of programming languages and type systems.☆33Updated 7 months ago
- ☆43Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆32Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 2 months ago
- A deterministic parser with fused lexing☆72Updated last year
- Hanoi tower in Coq☆25Updated 3 months ago
- Owl Tutorial☆6Updated 4 months ago
- A verified compiler for a lazy functional language☆34Updated last week
- EGraphs in OCaml☆64Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆28Updated last week
- SPSC: A Small Positive Supercompiler☆35Updated 10 months ago
- SKI combinators☆54Updated 7 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago
- multi-shot continuations in OCaml☆48Updated last month
- LL(1) parser generator verified in Coq☆46Updated 5 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆23Updated 4 months ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 3 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 10 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A pretty-printing combinator library for OCaml☆49Updated 8 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- 🦅 VSCode extension for F* with IDE features☆15Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- OCaml plus Jane Street extensions☆74Updated 8 months ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 2 months ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 5 months ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆43Updated 3 months ago