jmoy / costlyState
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
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- FFI-based byte buffers for Idris☆10Updated 5 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- an example airship app☆14Updated 8 years ago
- A constant-memory approximation of set membership☆24Updated 2 months ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Haskell clone of Boundary's k-ordered unique id service☆40Updated 6 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Updated 7 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- QuickCheck extras.☆29Updated 5 years ago
- A haskell client library for consul (consul.io)☆31Updated last year
- ☆13Updated 10 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Updated 5 years ago
- ☆15Updated 7 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- What I Wish I Knew While Learning Nix☆35Updated 3 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Haskell distributed parallel Haskell☆37Updated 7 years ago