Alternatives and similar repositories for price-theory

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

• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 8 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆107Updated 9 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 7 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 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 11 months ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 8 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 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
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated this week
• HarvardPL / shill
  Scripting with Least Privilege
  ☆109Updated 8 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago