Alternatives and similar repositories for lambda-calculus-devkit

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

• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• ltratt / rustbfs
  Rust BF interpreters
  ☆12Updated last year
• jart / matmul
  ☆18Updated 11 months ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 8 months ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆45Updated 3 years ago
• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated 2 years ago
• ret2pop / stem
  A minimal stack based programming language
  ☆33Updated last year
• leahneukirchen / te
  tiny emacs
  ☆25Updated 3 years ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆16Updated 3 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 8 months 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 …
  ☆14Updated last year
• andrewchambers / magnet-linux
  A decentralized linux distribution.
  ☆12Updated 3 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• ifreund / zig-pixman
  [mirror] Zig bindings for pixman
  ☆10Updated 2 months ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• rfindler / modern-macros-talk
  ☆14Updated 2 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• benhoyt / awkmake
  Code to go with my article "The AWK book's 60-line version of Make"
  ☆14Updated last year
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 3 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 5 months ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆14Updated 6 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated this week
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Updated 11 years ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆11Updated 4 months ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 9 months ago
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago