vlasenkov / DengaLinks
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
Sorting:
- An implementation of microKanren in Shen☆10Updated 10 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- BitMEX to DTC gateway☆11Updated 6 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated last year
- JSON RPC using the remote monad☆9Updated 7 years ago
- A functional smart contract system☆6Updated 6 years ago
- Pinocchio VM☆20Updated 4 years ago
- Contract examples☆10Updated 3 years ago
- Data structures/API for a Bitcoin exchange☆20Updated 7 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- Multihash Haskell implementation☆27Updated 2 years ago
- q mode for emacs☆13Updated 4 years ago
- Shamir Secret Sharing☆21Updated 5 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Pure Type Systems for Functional Programming☆31Updated 4 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Standalone Ethereum Virtual Machine☆52Updated 3 years ago
- Minimal, efficient proof language☆14Updated 6 years ago
- A fast, low-level HTTP server you can trust☆47Updated 6 years ago
- working with coq and tezos☆28Updated 7 years ago
- silly-k is an experimental language inspired by K and APL☆16Updated 8 months ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- QuickFIX bindings for Haskell☆26Updated 8 years ago
- TCP Realisation of Network.Transport☆29Updated 9 months ago
- A type theory based theorem proving library☆25Updated 13 years ago
- An API for the Interactive Brokers Trader Workstation written in pure Haskell☆18Updated 7 years ago
- HTML5 ES6 canvas candlestick chart with probability heatmap overlay. Built to display stock and currency forecasts.☆12Updated 10 years ago
- second-order abstract syntax☆31Updated 3 years ago
- Spreadsheet demo in Haskell☆16Updated last month
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆36Updated 6 years ago