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]☆41Updated 3 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆95Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated last week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 4 years ago
- A deterministic parser with fused lexing☆75Updated 2 years ago
- A collection of programming languages and type systems.☆33Updated 8 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- Educational Proof Assistant for Type Theory☆80Updated 2 weeks ago
- Programming Language Foundations in Lean☆48Updated 6 months ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Demo for dependent types + runtime code generation☆72Updated 11 months ago
- SKI combinators☆56Updated 8 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆60Updated 11 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Updated 3 years ago
- Implementation of the Delta Language☆12Updated last year
- A summary of my activities during the past four years☆31Updated last month
- The Next Generation of Compositional Programming☆56Updated last week
- EGraphs in OCaml☆80Updated 2 years ago
- PL conference deadline countdowns☆64Updated last week
- Course on Metaprogramming☆75Updated 7 months ago
- ☆56Updated 9 months ago
- an implementation of Observational Type Theory (OTT) and more☆30Updated 3 years ago
- A template for you to implement Hazelnut yourself☆22Updated 6 months ago
- OCaml plus Jane Street extensions☆73Updated last year
- Cicada Language (solo version)☆128Updated last year
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆46Updated 10 months ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated last week