Alternatives and similar repositories for parsimony:

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

• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 11 months ago
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• soney / interstate
  ☆53Updated 4 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆120Updated 4 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• lojikil / carML
  carML - a yummy and sweet ML dialect
  ☆19Updated 3 years ago
• twhume / superoptimiser
  Clojure program to exhaustively search for optimal Java programs
  ☆20Updated 12 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated 2 years ago
• lacuna / model
  ☆20Updated 6 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆52Updated 2 years ago
• fredokun / arbogen
  a fast uniform random tree generator
  ☆31Updated last year
• jaroslov / coro
  C++1y coroutine library.
  ☆17Updated 7 years ago