Alternatives and similar repositories for Lamb:

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

• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• thamugadi / call-cc-krivine
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆14Updated last year
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• ehatti / LHL
  Linearizability Hoare Logic
  ☆13Updated last month
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 2 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆11Updated last year
• sergei-romanenko / agda-simple-scp
  A simple supercompiler formally verified in Agda
  ☆33Updated 8 years ago
• mb64 / xtt
  A simple implementation of XTT, "A cubical language for Bishop sets"
  ☆26Updated 3 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated last week
• acorrenson / owl
  A mini language for logic programming
  ☆24Updated 4 years ago
• elpinal / subtyping-agda
  Some rudimentary proofs on subtyping
  ☆11Updated 3 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 3 months ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 months ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• andrejbauer / repl-in-browser
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Updated 7 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆25Updated 4 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆44Updated 3 months ago
• owainlewis / forth
  A micro compiler for the FORTH programming language
  ☆12Updated 3 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆17Updated last year
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago