Alternatives and similar repositories for reductio

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

• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 4 years ago
• QazmoQwerty / error-reporter
  A simple implementation for pretty, Rust-style error diagnostics.
  ☆27Updated 5 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 6 months ago
• Battelle / tiresias
  ARM is Turing-complete without data fetches
  ☆18Updated 7 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 8 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆19Updated 3 years ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆56Updated 7 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated 3 weeks ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 5 months ago
• iitalics / Opal
  Simple and powerful programming language with type inference
  ☆24Updated 8 years ago
• westerp / ebf-compiler
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11Updated 7 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated 2 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 9 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago