Alternatives and similar repositories for price-theory:

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

• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• attresearch / yakker
  ☆22Updated 13 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• Qqwy / Jux
  ☆14Updated 4 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• rongarret / tweetnacl
  ☆22Updated 8 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 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
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• soney / interstate
  ☆53Updated 4 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• raku-community-modules / Acme-Anguish
  Interpreter for Anguish programming language
  ☆17Updated 2 months ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• fxfactorial / brozip
  CLI to concurrently compress, decompress using Brotli algorithm
  ☆39Updated 5 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated last month
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 11 months ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆18Updated 10 years ago
• drom / wast-forth
  WebAssembly AST Forth
  ☆20Updated 8 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago