Alternatives and similar repositories for parsimony

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

• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• twhume / superoptimiser
  Clojure program to exhaustively search for optimal Java programs
  ☆21Updated 13 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 7 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆29Updated 7 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆31Updated 10 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆87Updated 3 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆41Updated 4 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated 3 months ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆32Updated last month
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 11 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 9 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆59Updated 7 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆100Updated 2 years ago
• justinpombrio / synless
  Synless is a language-agnostic tree editor.
  ☆23Updated last week
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 8 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 13 years ago