AlexanderAA / haskell-contract-valuation
Another (simplified) reimplementation of financial contract combinator library. Refer to "How to write a financial contract" by S.L. Peyton Jones and J-M. Eber for details
☆11Updated 5 years ago
Alternatives and similar repositories for haskell-contract-valuation:
Users that are interested in haskell-contract-valuation are comparing it to the libraries listed below
- Standalone Ethereum Virtual Machine☆51Updated 3 years ago
- Symbolic financial contract EDSL☆38Updated 4 years ago
- QuickFIX bindings for Haskell☆26Updated 7 years ago
- FIX (co)parser in haskell☆51Updated 12 years ago
- Quandl.com API implementation in Haskell☆17Updated 3 years ago
- Haskell API for BitMEX☆12Updated 5 years ago
- quant finance in pure haskell☆137Updated 6 years ago
- a sound modern language for computation and transactional resource logic☆101Updated 8 years ago
- HQuantLib, financial math in Haskell☆66Updated 3 months ago
- ☆77Updated 2 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 9 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- InfluxDB client library for Haskell☆54Updated 8 months ago
- Proof-of-concept Blockchain in Haskell☆90Updated 7 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- Kafka bindings for Haskell☆72Updated 7 years ago
- This repository has been moved to https://gitlab.com/twittner/zeromq-haskell☆139Updated 8 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 4 years ago
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Updated 3 years ago
- Construct and run Hadoop MapReduce programs in Haskell☆110Updated 7 years ago
- Generic blockchain implementation in Haskell.☆26Updated 7 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.☆51Updated 7 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 5 years ago
- Haskell implementation of RSCoin☆50Updated 8 years ago
- Precise description and operational execution of exotic contracts.☆36Updated 6 years ago
- Haskell bindings to glpk☆13Updated 9 months ago
- Compiles Haskell to WebAssembly☆166Updated 6 years ago