kendricktan / bchLinks
Minimal blockchain in Haskell
☆13Updated 8 years ago
Alternatives and similar repositories for bch
Users that are interested in bch are comparing it to the libraries listed below
Sorting:
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 5 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 5 years ago
- Haskell bindings for secp256k1 library☆24Updated 6 months ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 5 years ago
- Code samples inspiring language design☆23Updated 9 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 10 years ago
- Haskell implementation of the InterPlanetary File System☆14Updated 11 years ago
- Haskell libraries for interacting with IPFS☆26Updated 4 years ago
- Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library☆15Updated 6 months ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- Shamir Secret Sharing☆21Updated 5 years ago
- Chanterelle -- a more functional truffle☆80Updated 10 months ago
- ☆59Updated 3 years ago
- ☆21Updated 7 years ago
- authenticated data structures, generically☆55Updated 9 years ago
- ☆13Updated 5 years ago
- An Algebraic, Executable Ur Machine☆37Updated 7 years ago
- Compiles Haskell to WebAssembly☆167Updated 6 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- ☆16Updated 7 years ago
- Explorer of cardano-sl☆10Updated 2 years ago
- Shamir secret sharing in Haskell.☆15Updated 8 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆15Updated 8 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- working with coq and tezos☆28Updated 8 years ago
- Urbit examples☆87Updated 4 years ago