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
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆91Updated 4 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• nagydani / seedling
  A Programming Language for Everyone and Everything
  ☆36Updated 8 months ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 11 years ago
• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆18Updated last year
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆38Updated 2 months ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated last week
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 8 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆43Updated 4 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆61Updated 16 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆26Updated 10 months ago
• siraben / zkeme80
  An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
  ☆242Updated 5 months ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Updated 4 years ago
• oriansj / talk-notes
  Collection of notes for talks
  ☆13Updated last year
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆16Updated 5 years ago
• irori / advent-unlambda
  A faithful implementation of the Colossal Cave Adventure in Unlambda
  ☆18Updated 5 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆92Updated 2 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 6 months ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated 10 months ago
• dobesv / charity
  Charity Programming Language
  ☆40Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• remexre / forth386
  A bare-metal Forth for i386 machines.
  ☆13Updated 6 years ago