Alternatives and similar repositories for reductio

Users that are interested in reductio are comparing it to the libraries listed below

• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• QazmoQwerty / error-reporter
  A simple implementation for pretty, Rust-style error diagnostics.
  ☆27Updated 5 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 9 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 5 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• westerp / ebf-compiler
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11Updated 7 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago
• shikhin / tetranglix
  A bootable 512-byte Tetris clone.
  ☆63Updated 4 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• alox-ai / alox-old
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆61Updated 8 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 8 months ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆20Updated 3 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆18Updated last month
• HarryR / nanac
  Tiny modular assembler & vm for lightweight control microcode
  ☆36Updated 5 years ago
• kulp / tenyr
  Simple, orthogonal 32-bit computer architecture and environment
  ☆28Updated last year
• aaronryank / triangular
  A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface
  ☆11Updated 6 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 9 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 3 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆59Updated last year