input-output-hk / metronome
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
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- A new query language designed for building composable and reproducible data processing pipelines☆13Updated 8 months ago
- Lambdas covering supporter operations, mostly in life operations☆11Updated this week
- Parallel Byzantine Fault Tolerance (R&D)☆11Updated 7 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆10Updated 4 years ago
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆24Updated 6 months ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Oblivious RAM for Scala☆19Updated 4 years ago
- Scala library for accessing various file, batch systems, job schedulers and grid middlewares.☆27Updated this week
- ☆26Updated 3 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- ralph tooling for VS Code.☆10Updated 11 months ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- EncryCore node reference implementation☆15Updated 5 years ago
- util modules for sbt☆15Updated 5 years ago
- ☆11Updated last year
- Compile-time expression evaluation for Scala 2☆16Updated last month
- SML The Living Language☆11Updated 11 years ago
- ☆16Updated 4 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- Zipkin tracing instrumentation for Akka☆10Updated 4 years ago
- Cluster membership and failure detection☆11Updated last year
- DAG-based blockchain☆10Updated 6 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- Library for exposing gRPC endpoints via HTTP (JSON) API☆18Updated 3 weeks ago
- A table schema-less OLAP Analytics Engine for Big Data.☆24Updated last year
- Minimal HTTP cache management library in Scala☆14Updated this week