Alternatives and similar repositories for price-theory

Users that are interested in price-theory are comparing it to the libraries listed below

• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 8 years ago
• JUrban / MPTP2
  ☆19Updated 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.
  ☆105Updated last year
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 4 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated 3 weeks ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆12Updated 10 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago