input-output-hk / metronomeLinks
Checkpointing PoW blockchains with HotStuff BFT
☆11Updated 3 years ago
Alternatives and similar repositories for metronome
Users that are interested in metronome are comparing it to the libraries listed below
Sorting:
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Parallel Byzantine Fault Tolerance (R&D)☆11Updated 7 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- ☆13Updated 6 years ago
- A set of tools that make working with the Scala ecosystem even better.☆11Updated this week
- Multiversioned key-value database, especially useful for blockchain☆95Updated 7 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- Pragmatic command line parsing and configuration for Scala apps☆14Updated 2 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- Scala library for accessing various file, batch systems, job schedulers and grid middlewares.☆28Updated last month
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- All stuff in a single repo (tests, ideas, benchmarks)☆24Updated last year
- A Scala implementation of the open sourced LMAX Disruptor concurrency pattern☆55Updated 13 years ago
- ☆26Updated 3 years ago
- DAG-based blockchain☆10Updated 6 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Programming language for distributed systems & p2p☆160Updated 10 months ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- ☆15Updated 5 years ago
- ☆10Updated 6 years ago
- Object capability (ocap) tools and macros for Scala.☆18Updated 8 months ago
- Deterministic transactional database layer on top of a stream processing engine☆26Updated 5 years ago
- Parallel boolean circuit evaluation☆26Updated 6 years ago
- Hornet, a JVM optimized for low-latency applications.☆53Updated 10 years ago
- सूचि - Toolkit to build Distributed Data Systems☆53Updated 2 years ago
- Declarative concurrency in Scala - The implementation of the chemical machine☆160Updated 2 months ago
- ☆35Updated this week
- A proof of concept for an efficient stock price file format based on Akka Streams and Scodec.☆21Updated 9 years ago
- util modules for sbt☆15Updated 5 years ago