Alternatives and similar repositories for price-theory

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

• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated 2 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆29Updated 10 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 6 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated last month
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 7 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 years ago
• henrikurms / tail2futhark
  ☆19Updated 7 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago