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:
- Programming Language Foundations in Lean☆44Updated 3 months ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Educational Proof Assistant for Type Theory☆79Updated last year
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Coq code formatter☆23Updated last week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆151Updated 4 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆40Updated 2 weeks ago
- A collection of programming languages and type systems.☆33Updated 6 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆63Updated 2 years ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- EGraphs in OCaml☆77Updated last year
- Demo for dependent types + runtime code generation☆72Updated 9 months ago
- ☆56Updated 6 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- Mystery Languages☆41Updated 2 years ago
- A template for you to implement Hazelnut yourself☆22Updated 4 months ago
- A monadic library for symbolic evaluation☆71Updated 4 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆58Updated 8 months ago
- PL conference deadline countdowns☆63Updated 2 months ago
- A summary of my activities during the past four years☆31Updated last year
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Updated 3 years ago
- a proof-of-concept programming language based on call-by-push-value☆58Updated last week
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆78Updated 2 months ago
- Course on Metaprogramming☆72Updated 4 months ago
- High level commands to declare a hierarchy based on packed classes☆103Updated last week
- Convert Haskell source code to Coq source code.☆91Updated 4 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55Updated 5 years ago
- OCaml plus Jane Street extensions☆72Updated last year