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 5 months ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 6 years ago
- Haskell trading framework.☆11Updated 9 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- A functional smart contract system☆6Updated 6 years ago
- BitMEX to DTC gateway☆11Updated 6 years ago
- Shamir Secret Sharing☆21Updated 5 years ago
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆36Updated 6 years ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated last week
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- Type Theory with Indexed Equality☆25Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- working with coq and tezos☆28Updated 7 years ago
- Imandra FIX Engine☆52Updated last week
- Topological sort algorithm☆13Updated last month
- OCaml record fields as first class values☆21Updated 2 weeks ago
- C++ FFI Generator for Ocaml☆36Updated 4 months ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- FIX protocol for OCaml☆15Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- OCaml bot for arbitraging Bitcoin exchanges☆51Updated 5 years ago
- A code generation tool for purescript-web3☆22Updated 5 months ago
- Standalone Ethereum Virtual Machine☆52Updated 3 years ago
- Type-safe library for building parallel applications, built on top of Async's Rpc module.☆48Updated last month
- Binary protocol generator☆78Updated 2 weeks ago
- Code samples inspiring language design☆24Updated 9 years ago