Alternatives and similar repositories for lambda:

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

• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆30Updated this week
• emdonahue / SmallKanren
  miniKanren in Pharo
  ☆10Updated 8 months ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆42Updated 5 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆69Updated 2 weeks ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆24Updated last year
• jackfirth / resyntax
  A Racket refactoring engine
  ☆62Updated this week
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• KonjacSource / ShiTT
  ShiTT is a toy proof assistant. (This project will be rewritten soon)
  ☆33Updated 3 months ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆26Updated 2 years ago
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• Trebor-Huang / ice1000
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆20Updated 2 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• yjqww6 / macrology
  ☆40Updated 3 years ago
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆29Updated last month
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆17Updated 2 weeks ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 9 months ago
• mflatt / zuo
  ☆40Updated 9 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆18Updated 4 years ago
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆128Updated 3 months ago
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆23Updated 2 years ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆25Updated last month
• sweirich / lambda-calculus
  Denotational Semantics of the Untyped Lambda Calculus
  ☆16Updated 2 weeks ago
• JohnReppy / sml-lsp-kit
  Standard ML Infrastructure for writing LSP servers
  ☆11Updated 4 months ago
• camoy / trace-contract
  ☆12Updated 2 months ago