Alternatives and similar repositories for lambdavm

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

• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆88Updated 4 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆54Updated last year
• wellang / well
  A high level assembler. https://wellang.github.io/well/
  ☆56Updated 2 months ago
• nikodemus / foolang
  A toy programming language.
  ☆40Updated last year
• zserge / lc3-forth
  Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU
  ☆92Updated 2 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated 3 weeks ago
• civboot / fngi
  a readable language that grows from the silicon
  ☆61Updated last year
• kspalaiologos / lc-apl
  Journey to the Center of the Lambda Calculus
  ☆15Updated last year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 11 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆106Updated last month
• kspalaiologos / A-Programming-Language
  An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
  ☆18Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆158Updated 2 years ago
• phreda4 / r3
  r3 programing language - ColorForth inspired
  ☆62Updated this week
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆61Updated this week
• kspalaiologos / sdlgames
  A collection of small games made using SDL and C/++.
  ☆25Updated last year
• c2d7fa / jonasforth
  Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)
  ☆45Updated 4 years ago
• Spydr06 / BCause
  BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.
  ☆67Updated last month
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated last week
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆52Updated 4 months ago
• siraben / zkeme80
  An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
  ☆236Updated 2 weeks ago
• henriquegogo / kamby
  Kamby Language
  ☆75Updated this week
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆41Updated last year
• caius-iulius / spinnaker
  ☆26Updated last year
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆243Updated 2 years ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago