Alternatives and similar repositories for lambda-calculus-devkit:

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

• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 5 months ago
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• leahneukirchen / te
  tiny emacs
  ☆26Updated 3 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 6 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 …
  ☆13Updated last year
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 3 years ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆26Updated 4 months ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆10Updated last month
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• jart / matmul
  ☆18Updated 9 months ago
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆18Updated 8 months ago
• marcelmaatkamp / cosmopolitan-nethack
  ☆10Updated 3 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆53Updated last year
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 2 weeks ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆13Updated 4 months ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆29Updated this week
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 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
• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated last year
• dzaima / grr
  GUI for gdb, rr, perf, and more
  ☆27Updated 7 months ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 months ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago