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
• jart / matmul
  ☆18Updated last year
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 5 months ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆16Updated 3 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆22Updated 10 months ago
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Updated 11 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆29Updated this week
• Wodan58 / joy0
  Original Joy
  ☆10Updated 6 months ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated 2 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆34Updated 2 months ago
• Wilfred / garden
  an interactive programming language
  ☆44Updated this week
• cthiriet / femtoGPT
  a GPT in pure Python
  ☆10Updated last year
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago