Alternatives and similar repositories for binary-lambda-calculus

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

• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆26Updated 6 months ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆16Updated last year
• luser-dr00g / inca
  an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…
  ☆30Updated 8 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated last month
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 7 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 3 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 3 weeks ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆32Updated 10 years ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 5 months ago
• wolfgangj / okami
  okami is an application development platform
  ☆36Updated 9 months ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• remexre / forth386
  A bare-metal Forth for i386 machines.
  ☆13Updated 6 years ago
• timonoko / nokolisp
  Lisp interpreter and compiler from 1977-1988 for MSDOS.
  ☆34Updated 7 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆75Updated 5 years ago
• wouter-swierstra / Brainfuck
  A Brainfuck interpreter written in Agda
  ☆50Updated 3 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• tangentstorm / b4
  b4 : a tiny forth-like virtual machine
  ☆32Updated 2 months ago