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"☆36Updated 2 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆40Updated 2 months ago
- Programming Language Foundations in Lean☆47Updated 5 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- The Next Generation of Compositional Programming☆56Updated 2 weeks ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆67Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Demo for dependent types + runtime code generation☆72Updated 10 months ago
- an implementation of Observational Type Theory (OTT) and more☆29Updated 3 years ago
- A summary of my activities during the past four years☆31Updated 3 weeks ago
- Selected Papers of Dana S. Scott☆170Updated last year
- Educational Proof Assistant for Type Theory☆81Updated this week
- EGraphs in OCaml☆78Updated last year
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated 3 weeks ago
- A deterministic parser with fused lexing☆75Updated 2 years ago
- ☆56Updated 8 months ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆101Updated 2 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆25Updated 3 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 3 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆46Updated 10 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 10 months ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 11 months ago
- Learn Lean 4 with PLFA proofs.☆101Updated 9 months ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated this week
- ☆44Updated 4 years ago
- High level commands to declare a hierarchy based on packed classes☆104Updated this week
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆40Updated last month
- ☆42Updated 5 months ago