Alternatives and similar repositories for reductio

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

• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆29Updated 4 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• QazmoQwerty / error-reporter
  A simple implementation for pretty, Rust-style error diagnostics.
  ☆27Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 8 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• peterferrie / brainfuck
  compiler for x86 in 100 bytes
  ☆70Updated 10 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 4 years ago
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 6 years ago
• dobesv / charity
  Charity Programming Language
  ☆40Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆58Updated last year
• alhassy / CoqCheatSheet
  Reference sheet for the Coq language.
  ☆15Updated 4 years ago
• shikhin / tetranglix
  A bootable 512-byte Tetris clone.
  ☆64Updated 4 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• matslina / bfoptimization
  "Research" on how to best optimize brainfuck code.
  ☆72Updated 3 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 3 months ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆29Updated 10 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• westerp / ebf-compiler
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11Updated 7 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago