MichaelBurge / lambda-exchangeLinks
Data structures/API for a Bitcoin exchange
☆20Updated 7 years ago
Alternatives and similar repositories for lambda-exchange
Users that are interested in lambda-exchange are comparing it to the libraries listed below
Sorting:
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- An Ethereum contract analyzer.☆19Updated 4 months ago
- Shamir Secret Sharing☆21Updated 5 years ago
- A functional smart contract system☆6Updated 6 years ago
- Haskell API for BitMEX☆12Updated 5 years ago
- Haskell trading framework.☆11Updated 9 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆36Updated 6 years ago
- HQuantLib, financial math in Haskell☆66Updated 5 months ago
- An append only list in a compact region☆25Updated 6 years ago
- EDSL for automated, low-latency trading☆33Updated 7 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Topological sort algorithm☆13Updated last month
- A monad transformer and corresponding type class for computations which consume random values.☆32Updated 3 months ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Updated 4 months ago
- B+-tree implementation in Haskell☆27Updated 6 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- A code generation tool for purescript-web3☆22Updated 5 months ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 4 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 6 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- ☆21Updated 7 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated last year
- Type Theory with Indexed Equality☆25Updated 8 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆18Updated 2 months ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago