Alternatives and similar repositories for lambda-calculus-devkit

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

• 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 …
  ☆14Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 3 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 7 months ago
• jart / matmul
  ☆18Updated last year
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆45Updated 3 years ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆27Updated last year
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• leahneukirchen / te
  tiny emacs
  ☆26Updated 3 years ago
• benhoyt / awkmake
  Code to go with my article "The AWK book's 60-line version of Make"
  ☆14Updated last year
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• LukeGrahamLandry / franca
  A self sufficient programming language: have your cake and eat it at compile time
  ☆11Updated this week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 11 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 2 years ago
• h2337 / cparse
  cparse is an LR(1) and LALR(1) parser generator
  ☆51Updated last week
• Wilfred / garden
  an interactive programming language
  ☆45Updated this week
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• Wodan58 / joy0
  Original Joy
  ☆10Updated 7 months ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆44Updated 3 weeks ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 6 months ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Updated 11 years ago
• JonesBeach / memphis
  A ridiculous Python interpreter written—from scratch—in Rust.
  ☆23Updated this week
• ironmeld / boot2now
  Boot2Now is a series of compilers in the form of bootable machine images
  ☆18Updated 2 years ago
• oriansj / M2libc
  A more standards compliant C library written in M2-Planet's C subset
  ☆20Updated last month
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated last week