rpmcruz / price-theoryLinks
Economics games, inspired by David D. Friedman's
☆12Updated 8 years ago
Alternatives and similar repositories for price-theory
Users that are interested in price-theory are comparing it to the libraries listed below
Sorting:
- Python term rewriting☆30Updated 12 years ago
- The Pascal-F Verifier☆50Updated 8 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 13 years ago
- World's dumbest fuzzer☆53Updated 2 years ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- ☆16Updated 7 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 5 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Noether programming language☆129Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- The Kleenex programming language☆56Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- ☆40Updated 9 years ago
- SECD microprocessor reimplementation in VHDL☆36Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 11 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- IPython-style interaction for Cryptol☆15Updated 9 years ago
- Various Futhark benchmark programs☆43Updated this week
- A virtual machine for Monte.☆68Updated 2 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Real number computation software☆129Updated 3 years ago