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"☆35Updated 2 years ago
- Programming Language Foundations in Lean☆47Updated 4 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- The Next Generation of Compositional Programming☆54Updated 3 weeks ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated this week
- A stepping debugger for Standard ML (SML)☆26Updated last year
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Mystery Languages☆41Updated 2 years ago
- Educational Proof Assistant for Type Theory☆81Updated 2 weeks ago
- Course on Metaprogramming☆72Updated 5 months ago
- A summary of my activities during the past four years☆31Updated last year
- CIS 6700, Spring 2023☆18Updated 2 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆101Updated 2 years ago
- Coq code formatter☆24Updated this week
- Demo for dependent types + runtime code generation☆72Updated 9 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆40Updated last month
- Reference compiler for c0☆38Updated this week
- OCaml plus Jane Street extensions☆73Updated last year
- ☆56Updated 7 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆212Updated this week
- A template for you to implement Hazelnut yourself☆22Updated 5 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 9 months ago
- ☆44Updated 3 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated 9 months ago
- ☆41Updated 4 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- Functional Programming in Lean☆125Updated last month