vlasenkov / Denga
Haskell trading framework.
☆11Updated 9 years ago
Alternatives and similar repositories for Denga:
Users that are interested in Denga are comparing it to the libraries listed below
- A functional smart contract system☆6Updated 6 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- Data structures/API for a Bitcoin exchange☆20Updated 7 years ago
- Haskell 2010 stream comonads☆22Updated 4 months ago
- TCP Realisation of Network.Transport☆29Updated 7 months ago
- Contract examples☆10Updated 3 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated last year
- Haskell library implementing the OANDA REST API☆25Updated 4 years ago
- Minimal, efficient proof language☆14Updated 5 years ago
- Multihash Haskell implementation☆27Updated last year
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- HQuantLib, financial math in Haskell☆66Updated 4 months ago
- Shamir Secret Sharing☆20Updated 5 years ago
- EDSL for automated, low-latency trading☆33Updated 7 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Pure Type Systems for Functional Programming☆31Updated 4 years ago
- B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.☆51Updated 7 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆18Updated last month
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆36Updated 6 years ago
- QuickFIX bindings for Haskell☆26Updated 7 years ago
- Haskell interface to BLPAPI☆30Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Haskell bindings for secp256k1 library☆24Updated 4 months ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 6 years ago
- A small bifunctor library for idris☆21Updated 4 years ago