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"
  ☆31Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆29Updated 5 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 8 months ago
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 2 weeks ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 2 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆25Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆67Updated last month
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• RobertHarper / pl-syntax
  PL syntax macros.
  ☆19Updated 3 weeks ago
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆23Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 9 months ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 7 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated last month
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated 2 weeks ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• lexa-lang / lexa
  ☆30Updated 5 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated last month
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago