cucapra / lambdalab
interactive λ-calculus for learning
☆35Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambdalab
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- EGraphs in OCaml☆60Updated 10 months ago
- A deterministic parser with fused lexing☆71Updated last year
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆32Updated 2 months ago
- An embeddable flow-oriented language.☆59Updated this week
- Mystery Languages☆35Updated last year
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated 4 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆43Updated 4 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆22Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆34Updated last year
- SKI combinators☆50Updated 7 years ago
- A stepping debugger for Standard ML (SML)☆23Updated 9 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- Playing with type systems☆46Updated 2 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆67Updated this week
- A collection of programming languages and type systems.☆33Updated 3 months ago
- A summary of my activities during the past four years☆28Updated last month
- Fωμ type checker and compiler☆51Updated last year
- Tools for record-and-replay debugging☆42Updated last year
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated last week
- A type theory with native support for Polynomial Functors.☆38Updated last year
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated last month
- ☆38Updated 2 years ago
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- A template for you to implement Hazelnut yourself☆19Updated last month
- High level commands to declare a hierarchy based on packed classes☆97Updated this week
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago