Alternatives and similar repositories for parsimony

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

• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated 2 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 8 months ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• attresearch / yakker
  ☆22Updated 13 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated 2 weeks ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 10 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 5 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• progranet / OMeta.Lua
  OMeta for Lua
  ☆13Updated 4 years ago
• latte-central / latte-kernel
  The (very) small kernel of the LaTTe proof assistant
  ☆12Updated 2 months ago
• LeifAndersen / racket-to-c
  ☆29Updated 9 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• spencertipping / canard
  A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl
  ☆17Updated 8 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 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/
  ☆40Updated 3 years ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 10 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 10 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago