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
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆78Updated 4 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 11 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 6 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated last month
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 3 months ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆26Updated last year
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 7 months ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago