MichaelBurge / lambda-exchange
Data structures/API for a Bitcoin exchange
☆20Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-exchange
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- An Ethereum contract analyzer.☆18Updated 6 years ago
- A functional smart contract system☆6Updated 5 years ago
- Haskell trading framework.☆11Updated 8 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Shamir Secret Sharing☆19Updated 4 years ago
- HQuantLib, financial math in Haskell☆66Updated 10 months ago
- BitMEX to DTC gateway☆11Updated 5 years ago
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆35Updated 6 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 7 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 11 months ago
- Topological sort algorithm☆13Updated 2 months ago
- working with coq and tezos☆28Updated 7 years ago
- OCaml bot for arbitraging Bitcoin exchanges☆51Updated 5 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- Haskell bindings for secp256k1 library☆24Updated 2 months ago
- Imandra FIX Engine☆51Updated this week
- Haskell API for BitMEX☆12Updated 4 years ago
- A fast Haskell Bloom filter library.☆60Updated last year
- Formal verification of the Algorand consensus protocol☆26Updated 2 years ago
- JSON RPC using the remote monad☆9Updated 6 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 4 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Code samples inspiring language design☆24Updated 8 years ago