Alternatives and similar repositories for price-theory

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

• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 5 months ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 9 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆127Updated 3 years ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆56Updated 11 months ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 9 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 8 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 11 years ago