Alternatives and similar repositories for lambda.js

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

• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆22Updated 3 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated last year
• yjqww6 / macrology
  ☆40Updated 3 years ago
• akeep / scheme-to-llvm
  A compiler to compile a simple subset of scheme to LLVM 10
  ☆108Updated 4 years ago
• emdonahue / SmallKanren
  miniKanren in Pharo
  ☆10Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated this week
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated 2 years ago
• cicada-lang / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 3 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• KonjacSource / ShiTT
  ShiTT is a toy proof assistant. (This project will be rewritten soon)
  ☆34Updated 7 months ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated this week
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆43Updated 2 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆85Updated 3 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• mflatt / plai-typed
  ☆51Updated 2 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• mthom / scryer-shen
  ☆53Updated last month
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆26Updated 2 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated last month
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 6 months ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆47Updated last year
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆30Updated 3 weeks ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆159Updated 2 years ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆100Updated 11 years ago
• yjqww6 / drcomplete
  DrRacket plugins for better autocompletion
  ☆65Updated 11 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 3 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago