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
- Benchmark a Haskell websocket server with tsung☆13Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- ☆15Updated 9 years ago
- Dr. Bayes☆84Updated 9 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- Haskell clone of Boundary's k-ordered unique id service☆40Updated 7 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- PureScript React Native TodoMVC example app☆27Updated 8 years ago
- Iterated Function Systems fractals with OCaml.☆34Updated 3 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 9 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 3 years ago
- An example of PEG usage☆55Updated 8 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Updated 9 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- Stochastic gradient descent Haskell library☆12Updated last year
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- 2048 in Idris☆122Updated 7 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Updated 9 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 8 months ago