bitcoin-0 / btc0Links
☆159Updated 3 years ago
Alternatives and similar repositories for btc0
Users that are interested in btc0 are comparing it to the libraries listed below
Sorting:
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- The symbolic execution engine powering the K Framework☆223Updated last week
- IPFS wrapper for Haskell☆43Updated 2 years ago
- An upcoming operating system built on Type-Theory☆43Updated 5 years ago
- ☆27Updated last year
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆36Updated 7 years ago
- Compiles Haskell to WebAssembly☆167Updated 6 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 6 years ago
- A structured concurrency library☆86Updated 11 months ago
- Double ratchet algorithm for E2E encryption☆59Updated 7 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- A bittorrent client, for learning purposes☆108Updated 6 years ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 5 years ago
- Haskell WebAssembly Toolkit☆155Updated last year
- a new, WIP Haskell compiler☆14Updated 5 years ago
- Haskell bindings for secp256k1 library☆24Updated 9 months ago
- IETF QUIC library in Haskell☆114Updated 2 weeks ago
- A haskell library implementing the Kademlia DHT☆43Updated 7 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 4 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- ☆77Updated 3 years ago
- Haskell implementation of RSCoin☆49Updated 8 years ago
- Proof-of-concept Blockchain in Haskell☆89Updated 8 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 10 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 6 years ago
- Multihash Haskell implementation☆28Updated 2 years ago
- Hashing with SL2 for Haskell☆20Updated 6 years ago
- Publishes curated news about the Haskell programming language.☆153Updated this week
- A language parsing quasiquoter for Haskell based heavily on ANTLR4.☆52Updated 5 years ago