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:
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆24Updated 2 years ago
- A template for you to implement Hazelnut yourself☆22Updated last month
- Educational Proof Assistant for Type Theory☆74Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 5 months ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- The Next Generation of Compositional Programming☆52Updated last month
- a proof-of-concept programming language based on call-by-push-value☆54Updated 2 weeks ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Demo for dependent types + runtime code generation☆70Updated 5 months ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆147Updated last month
- Forge: A Tool and Language for Teaching Formal Methods☆83Updated last month
- A Lean library for Computer Science☆46Updated last week
- Programming Language Foundations in Lean☆40Updated 3 weeks ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆197Updated last week
- Graph Theory [maintainers=@chdoc,@damien-pous]☆37Updated last month
- OCaml plus Jane Street extensions☆74Updated last year
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 5 months ago
- PL conference deadline countdowns☆61Updated last month
- A summary of my activities during the past four years☆29Updated 10 months ago
- Contextual types meet mechanized metatheory!☆197Updated last week
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- A monadic library for symbolic evaluation☆68Updated last month
- A "implementation" of Girard's paradox in OCaml☆109Updated 10 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 7 months ago