Alternatives and similar repositories for lambda-calculus-devkit

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

• ltratt / rustbfs
  Rust BF interpreters
  ☆12Updated last year
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 7 months ago
• leahneukirchen / te
  tiny emacs
  ☆26Updated 3 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆45Updated 3 years ago
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago
• jart / matmul
  ☆18Updated 10 months ago
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated last year
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆16Updated last year
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 6 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 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 …
  ☆14Updated last year
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• andrewchambers / magnet-linux
  A decentralized linux distribution.
  ☆12Updated 3 years ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆27Updated 8 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 3 years ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆26Updated last year
• Sahnvour / zig-containers
  A container library for Zig.
  ☆14Updated 4 years ago
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆19Updated 9 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 2 weeks ago
• mahkoh / repr-c
  ☆16Updated 3 years ago
• no-defun-allowed / lc3-in-lc3
  A metacircular LC3 implementation
  ☆10Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• benhoyt / awkmake
  Code to go with my article "The AWK book's 60-line version of Make"
  ☆14Updated last year
• Gandalf- / BrainBash
  A heavily optimizing Brain**** interpreter written in Bash!
  ☆31Updated 6 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 7 months ago