Alternatives and similar repositories for lambda-calculus-devkit

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

• jart / matmul
  ☆18Updated last year
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆15Updated 2 years ago
• benhoyt / awkmake
  Code to go with my article "The AWK book's 60-line version of Make"
  ☆15Updated 2 years ago
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆11Updated 5 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• LukeGrahamLandry / franca
  A self sufficient programming language: have your cake and eat it at compile time
  ☆13Updated last week
• Wodan58 / joy0
  Original Joy
  ☆10Updated last year
• kparc / bcc
  bcc is a b compiler
  ☆33Updated 3 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆58Updated 2 years ago
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 3 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆14Updated last year
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 weeks ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆45Updated 3 years ago
• rochus-keller / TccGen
  A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …
  ☆18Updated last year
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆81Updated 2 years ago
• fromscratchcode / memphis
  A ridiculous Python interpreter written—from scratch—in Rust.
  ☆25Updated this week
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆12Updated last year
• ironmeld / boot2now
  Boot2Now is a series of compilers in the form of bootable machine images
  ☆20Updated 2 years ago
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 3 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆21Updated 12 years ago
• iczelia / qbdiff
  building and applying patches to binary files
  ☆76Updated 5 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆15Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago