Alternatives and similar repositories for lambda-calculus-devkit

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

• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• Wodan58 / joy0
  Original Joy
  ☆10Updated 8 months ago
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 2 years ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆45Updated 3 years ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated 2 weeks ago
• benhoyt / awkmake
  Code to go with my article "The AWK book's 60-line version of Make"
  ☆14Updated last year
• 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
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• kparc / bcc
  bcc is a b compiler
  ☆34Updated 3 years ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• leahneukirchen / te
  tiny emacs
  ☆26Updated 3 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆15Updated last year
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆31Updated last month
• Wilfred / garden
  an interactive programming language
  ☆45Updated this week
• LukeGrahamLandry / franca
  A self sufficient programming language: have your cake and eat it at compile time
  ☆11Updated this week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 11 months ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆69Updated 3 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• jart / matmul
  ☆18Updated last year
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 3 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated 2 weeks ago
• oriansj / M2libc
  A more standards compliant C library written in M2-Planet's C subset
  ☆20Updated 2 months ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 5 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• spadix0 / cZPeg
  Compile-Time Parsing Expression Grammars for Zig
  ☆11Updated 4 years ago