jmoy / costlyStateLinks
Classroom demonstration of costly state verification in finance
☆16Updated 10 years ago
Alternatives and similar repositories for costlyState
Users that are interested in costlyState are comparing it to the libraries listed below
Sorting:
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Matlab bindings and interface for Haskell☆13Updated 5 years ago
- Iterated Function Systems fractals with OCaml.☆34Updated 3 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 10 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- Dr. Bayes☆84Updated 9 years ago
- ☆15Updated 9 years ago
- an example airship app☆14Updated 9 years ago
- ☆13Updated 11 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 7 years ago
- What I Wish I Knew While Learning Nix☆34Updated 3 years ago
- A simple http server written in Prolog☆30Updated 8 years ago
- ☆64Updated 9 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 9 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Updated 8 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Ur/Web part of BazQux Reader sources☆84Updated 4 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Server for stable, curated Haskell package sets☆109Updated 4 months ago
- a Racket language inspired by ARc, by Kogir☆29Updated 12 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- An Ivory library inspired by Atom☆14Updated 9 years ago