Alternatives and similar repositories for price-theory

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

• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• tangentstorm / syndir
  a syntax directed editor
  ☆17Updated last year
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 9 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• jerith / chaocaml
  An OCaml client library for Discord
  ☆13Updated 9 years ago
• aheui / jsaheui
  Aheui interpreter in Javascript
  ☆23Updated 8 years ago
• attresearch / yakker
  ☆23Updated 13 years ago
• saulpw / spwforth
  A clean implementation of Forth on 32-bit linux-x86
  ☆14Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• wyc / snippets
  ☆52Updated 8 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 9 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• art4711 / random-double
  An algorithm for generating random doubles.
  ☆12Updated 8 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• andreasdotorg / pdfparser
  ☆23Updated 13 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago