Alternatives and similar repositories for lambdalab:

Users that are interested in lambdalab are comparing it to the libraries listed below

• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆32Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 3 months ago
• RobertHarper / pl-syntax
  PL syntax macros.
  ☆19Updated 2 weeks ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆48Updated 2 years ago
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆23Updated 2 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated last week
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated 3 weeks ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆69Updated last month
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated last month
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• thery / hanoi
  Hanoi tower in Coq
  ☆25Updated 4 months ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆34Updated this week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 9 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 8 months ago
• andreypopp / type-systems
  Playing with type systems
  ☆50Updated 3 months ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 8 months ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• foreverbell / verified
  Coq formalizations and proofs of (data) structures and algorithms.
  ☆46Updated 6 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆35Updated this week
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆29Updated 6 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆50Updated 6 months ago