Alternatives and similar repositories for parsimony

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

• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• twhume / superoptimiser
  Clojure program to exhaustively search for optimal Java programs
  ☆20Updated 13 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆86Updated 2 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆111Updated 8 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 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
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆28Updated 7 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 8 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 11 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• lacuna / artifex
  a library for constructing geometric data
  ☆66Updated 6 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 8 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆96Updated 2 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
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago