Alternatives and similar repositories for price-theory

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

• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• pipcet / binutils-gdb
  GDB is the GNU debugger. Forked from bminor's mirror.
  ☆18Updated 3 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 7 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• andreasdotorg / pdfparser
  ☆23Updated 13 years ago
• raku-community-modules / Acme-Anguish
  Interpreter for Anguish programming language
  ☆17Updated 5 months ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 9 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago