cucapra / lambdalabLinks
interactive λ-calculus for learning
☆37Updated 6 years ago
Alternatives and similar repositories for lambdalab
Users that are interested in lambdalab are comparing it to the libraries listed below
Sorting:
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Educational Proof Assistant for Type Theory☆75Updated last year
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆38Updated 3 weeks ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆25Updated 2 years ago
- EGraphs in OCaml☆74Updated last year
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- PL conference deadline countdowns☆62Updated 3 weeks ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Functional Programming in Lean☆110Updated 2 weeks ago
- Selected Papers of Dana S. Scott☆163Updated last year
- Programming Language Foundations in Lean☆42Updated 2 months ago
- A Lean library for Computer Science☆121Updated this week
- Reference compiler for c0☆37Updated 4 months ago
- ☆37Updated last month
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆151Updated 11 months ago
- Demo for dependent types + runtime code generation☆71Updated 7 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 3 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 8 months ago
- Coq plugin embedding elpi☆175Updated this week
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 7 months ago
- Code samples for Lean 4☆77Updated last year
- A summary of my activities during the past four years☆31Updated 11 months ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Coq code formatter☆23Updated 3 weeks ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆74Updated last month