kadena-io / junoLinks
Smart Contracts Running on a BFT Hardened Raft
☆454Updated 3 years ago
Alternatives and similar repositories for juno
Users that are interested in juno are comparing it to the libraries listed below
Sorting:
- a sound modern language for computation and transactional resource logic☆101Updated 8 years ago
- Peer-to-peer encrypted message exchange☆383Updated 4 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- Modular blockchain framework. Public domain☆505Updated 7 years ago
- A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.☆115Updated 9 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆325Updated 3 years ago
- Haskoin Core is a Bitcoin and Bitcoin Cash library☆529Updated last month
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year
- [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.☆484Updated 5 years ago
- Standalone Ethereum Virtual Machine☆52Updated 3 years ago
- Technical specification for the Open Assets protocol, a Bitcoin based colored coins implementation.☆395Updated last year
- Factom Servers begin by providing proof of existence services, but then move on to provide proof of existence of transforms. A list of s…☆217Updated 7 years ago
- Permissioned Distributed Ledger based on Ethereum☆357Updated 7 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- DEPRECATED: Merged into https://github.com/tendermint/tendermint under `abci`☆255Updated 6 years ago
- Consus is a geo-replicated transactional key-value store.☆225Updated 7 years ago
- ☆77Updated 2 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆241Updated 3 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 10 years ago
- A Haskell implementation of the Tor protocol.☆273Updated 7 years ago
- Repository for general information about the Codius system.☆291Updated 10 years ago
- Proof of stake blockchain☆108Updated 4 years ago
- Convergent Replicated Data Types☆656Updated 9 years ago
- Haskell implementation of RSCoin☆49Updated 8 years ago
- Presto Ethereum Connector -- SQL on Ethereum☆469Updated 3 years ago
- Prototype Bud runtime (Bloom Under Development)☆861Updated 4 years ago
- Contents of the site☆483Updated 4 years ago
- ☆89Updated 7 years ago
- a memory-bound graph-theoretic proof-of-work system☆836Updated last month