jmoy / costlyState
Classroom demonstration of costly state verification in finance
☆16Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for costlyState
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- an example airship app☆14Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- Benchmark a Haskell websocket server with tsung☆13Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Updated 9 years ago
- Code samples inspiring language design☆24Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆47Updated 5 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Updated 5 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- Haskell clone of Boundary's k-ordered unique id service☆40Updated 6 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated last year
- Binary streaming library for Postgres data pipelines☆18Updated 5 years ago
- An Ivory library inspired by Atom☆14Updated 8 years ago
- n queens with the logic monad☆20Updated 9 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago