kadena-io / juno
Smart Contracts Running on a BFT Hardened Raft
☆453Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for juno
- A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.☆111Updated 8 years ago
- a sound modern language for computation and transactional resource logic☆101Updated 8 years ago
- Peer-to-peer encrypted message exchange☆380Updated 4 years ago
- Modular blockchain framework. Public domain☆504Updated 7 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆535Updated last year
- A framework for formally verifying distributed systems implementations in Coq☆587Updated 5 months ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 6 years ago
- The Honey Badger of BFT Protocols☆314Updated 4 years ago
- Standalone Ethereum Virtual Machine☆51Updated 2 years ago
- Haskoin Core is a Bitcoin and Bitcoin Cash library☆522Updated 3 months ago
- Interactive visualization framework for Runway models of distributed systems☆188Updated 2 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- Proof of stake blockchain☆107Updated 4 years ago
- Haskell implementation of RSCoin☆50Updated 7 years ago
- Presto Ethereum Connector -- SQL on Ethereum☆470Updated 2 years ago
- Factom Servers begin by providing proof of existence services, but then move on to provide proof of existence of transforms. A list of s…☆216Updated 6 years ago
- A modern syntax for the λ-calculus.☆409Updated 8 years ago
- A Haskell implementation of the Tor protocol.☆272Updated 7 years ago
- An independent reimplementation of Ethereum in Haskell☆82Updated 9 years ago
- a memory-bound graph-theoretic proof-of-work system☆822Updated last year
- Type-safe, composable microservices for data analytics☆222Updated 9 months ago
- Proof-of-concept Blockchain in Haskell☆90Updated 6 years ago