Alternatives and similar repositories for lambda-calculus-devkit:

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

• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated last year
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆14Updated 2 years ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 8 months ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• rfindler / modern-macros-talk
  ☆14Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 2 years ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 5 months ago
• benhoyt / awkmake
  Code to go with my article "The AWK book's 60-line version of Make"
  ☆14Updated last year
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆28Updated 3 weeks ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆27Updated 2 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 5 months ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆12Updated last year
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 3 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 months ago
• Wodan58 / joy0
  Original Joy
  ☆10Updated 3 months ago
• mahkoh / repr-c
  ☆16Updated 3 years ago
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆18Updated 7 months ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆26Updated 3 months ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• jart / matmul
  ☆18Updated 8 months ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆15Updated 7 months ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year