woodrush / lambdavm

Related projects ⓘ

Alternatives and complementary repositories for lambdavm

• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆86Updated 4 years ago
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 2 years ago
• 9front / 9front
  nightly synced mirror
  ☆55Updated this week
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated 6 months ago
• wellang / well
  A high level assembler. https://wellang.github.io/well/
  ☆57Updated 2 months ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆23Updated 2 years ago
• annacrombie / meson-raytracer
  ☆43Updated 2 years ago
• zserge / lc3-forth
  Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU
  ☆86Updated 2 years ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• elucent / scheme2d
  The future of programming.
  ☆70Updated 3 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆157Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆62Updated 5 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated 2 weeks ago
• Spydr06 / BCause
  BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.
  ☆54Updated last year
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆45Updated 10 months ago
• kspalaiologos / A-Programming-Language
  An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
  ☆18Updated 2 years ago
• howerj / subleq
  16-bit SUBLEQ CPU running eForth - just for fun
  ☆56Updated 2 weeks ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆66Updated last month
• woodrush / sectorlisp-examples
  Example programs written for SectorLISP
  ☆19Updated 2 years ago
• ghaerr / blink16
  Tiny visual 8086 emulator based on Blink
  ☆64Updated 5 months ago
• kspalaiologos / lc-apl
  Journey to the Center of the Lambda Calculus
  ☆12Updated last year
• ibara / bf256
  Brainfuck compiler under 256 bytes in size.
  ☆25Updated 3 years ago
• ratfactor / nasmjf
  NASM port of JONESFORTH!
  ☆51Updated last year
• civboot / fngi
  a readable language that grows from the silicon
  ☆60Updated last year
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆60Updated last year
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆21Updated 2 months ago
• RaymiiOrg / viless
  Tiny vi text editor clone with enough features to be truly useful
  ☆18Updated last year