rpmcruz / price-theory
Economics games, inspired by David D. Friedman's
☆12Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for price-theory
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 8 years ago
- A simple APL neural network.☆11Updated 8 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- a git implementation in rust. yeah, I know..☆12Updated 8 years ago
- ☆16Updated 6 years ago
- ☆13Updated 3 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- A list of compilers with some metadata.☆12Updated 5 months ago
- SECD microprocessor reimplementation in VHDL☆33Updated 5 years ago
- World's dumbest fuzzer☆52Updated 11 months ago
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- Schrödinger's Tcl☆30Updated 9 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- Functional GPU programming - DSEL & compiler☆22Updated 8 years ago
- A textual language for binary data.☆37Updated 2 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 4 years ago
- minimal lisp that compiles to x86☆10Updated 7 years ago
- run z3 on iOS for some reason☆37Updated 2 years ago
- Superposition prover☆16Updated last year
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- ☆19Updated 7 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆38Updated last year
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- The Déjà Vu programming language☆15Updated 10 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago