Alternatives and similar repositories for lambda-calculus-devkit:

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

• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated this week
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆14Updated 2 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• HackerFoo / startle
  Startle C Library
  ☆18Updated 6 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• leahneukirchen / te
  tiny emacs
  ☆26Updated 3 years ago
• andrewchambers / magnet-linux
  A decentralized linux distribution.
  ☆12Updated 2 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 4 months ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 4 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 11 months ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 2 years ago
• rfindler / modern-macros-talk
  ☆14Updated last year
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆12Updated 4 years ago
• andrewchambers / fspec-tools
  Tools to create filesystem images from an fspec filesystem specification.
  ☆15Updated 9 months ago
• benhoyt / awkmake
  Code to go with my article "The AWK book's 60-line version of Make"
  ☆14Updated last year
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated last year
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆27Updated 2 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago