Alternatives and similar repositories for binary-lambda-calculus

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

• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆36Updated 6 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆95Updated 5 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆18Updated 2 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆19Updated 5 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆39Updated 5 months ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Updated 5 years ago
• oriansj / talk-notes
  Collection of notes for talks
  ☆13Updated 2 years ago
• kragen / calculusvaporis
  A tiny CPU
  ☆20Updated 16 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 11 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆26Updated last year
• tangentstorm / b4
  b4 : a tiny forth-like virtual machine
  ☆40Updated last month
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆18Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 10 months ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 9 months ago
• nagydani / seedling
  A Programming Language for Everyone and Everything
  ☆37Updated 2 months ago
• siraben / zkeme80
  An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
  ☆248Updated 2 weeks ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated 2 weeks ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆92Updated 2 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆15Updated 2 years ago