rpmcruz / price-theoryLinks
Economics games, inspired by David D. Friedman's
☆12Updated 7 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:
- a git implementation in rust. yeah, I know..☆12Updated 8 years ago
- ☆16Updated 7 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- World's dumbest fuzzer☆52Updated last year
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- GDB is the GNU debugger. Forked from bminor's mirror.☆18Updated 3 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Restructor Prototype☆21Updated 7 years ago
- ☆14Updated 4 years ago
- Superposition prover☆17Updated 2 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- run z3 on iOS for some reason☆38Updated 2 years ago
- ☆38Updated 9 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- ☆23Updated 13 years ago
- Interpreter for Anguish programming language☆17Updated 5 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- A simple APL neural network.☆12Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- ☆19Updated 8 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- ☆52Updated 8 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- A list of compilers with some metadata.☆12Updated last year
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago