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:
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Updated 7 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- ☆15Updated 9 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Iterated Function Systems fractals with OCaml.☆34Updated 3 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- an example airship app☆14Updated 8 years ago
- An example of PEG usage☆55Updated 8 years ago
- n queens with the logic monad☆20Updated 10 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆69Updated 14 years ago
- Simple, extensible bytecode interpreter☆26Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- Benchmark a Haskell websocket server with tsung☆13Updated 9 years ago
- Forth clone in Haskell☆33Updated 8 years ago
- Chess Engine written in Haskell☆15Updated 6 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago