woodrush / lambda-calculus-devkit

Related projects ⓘ

Alternatives and complementary repositories for lambda-calculus-devkit

• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated 9 months ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆13Updated 2 years ago
• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated last year
• rfindler / modern-macros-talk
  ☆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 …
  ☆13Updated 8 months ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated last month
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 8 years ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆19Updated 2 months ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆26Updated 4 years ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated last month
• dzaima / grr
  GUI for gdb, rr, perf, and more
  ☆23Updated 2 months ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆22Updated 2 years ago
• jart / matmul
  ☆18Updated 4 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆45Updated 9 months ago
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆18Updated 3 months ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 weeks ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆52Updated 4 years ago
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆17Updated 2 years ago
• mahkoh / repr-c
  ☆16Updated 2 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆49Updated 2 years ago
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆15Updated 2 years ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• ahgamut / ripgrep
  ripgrep recursively searches directories for a regex pattern while respecting your gitignore
  ☆19Updated last year
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆21Updated 4 months ago
• hirrolot / assert-algebraic
  Asserting algebraic properties of C functions
  ☆10Updated this week
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆21Updated last month
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆26Updated 5 years ago