Alternatives and similar repositories for unlambda

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

• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 9 months ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 weeks ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆77Updated 6 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆19Updated 2 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated 3 weeks ago
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆39Updated 5 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 9 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 5 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆43Updated 4 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 9 years ago
• racket / honu
  ☆19Updated 2 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 4 years ago
• angel-manuel / schc
  Simple C Haskell Compiler
  ☆22Updated 2 years ago
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 6 years ago
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆14Updated last year
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆46Updated 6 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆35Updated 5 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆39Updated last year
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆65Updated 8 months ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago