Alternatives and similar repositories for price-theory

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

• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 8 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• shirriff / alto-mandel
  Mandelbrot for Xerox Alto, written in BCPL
  ☆17Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• foobuzz / equitext
  A text-to-text encoding to make all characters have the same number of occurences
  ☆12Updated 9 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆26Updated 6 years ago
• zenoamaro / chip3
  An interactive simulator of a simple computer
  ☆19Updated 8 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 years ago
• drom / wast-forth
  WebAssembly AST Forth
  ☆20Updated 8 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago