Alternatives and similar repositories for price-theory:

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

• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• pipcet / binutils-gdb
  GDB is the GNU debugger. Forked from bminor's mirror.
  ☆17Updated 3 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• dschepler / coq-topology
  Topology library for Coq
  ☆11Updated 9 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• j2kun / elliptic-curves-rationals
  Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.
  ☆20Updated 4 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 7 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 9 years ago
• Sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆41Updated last month
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆34Updated 5 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 4 years ago
• attresearch / yakker
  ☆22Updated 13 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago