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:
- Oblivious RAM for Scala☆19Updated 4 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- ralph tooling for VS Code.☆10Updated last year
- Parallel Byzantine Fault Tolerance (R&D)☆11Updated 7 years ago
- Lambdas covering supporter operations, mostly in life operations☆10Updated this week
- Scala library for accessing various file, batch systems, job schedulers and grid middlewares.☆27Updated last month
- SML The Living Language☆11Updated 11 years ago
- DAG-based blockchain☆10Updated 6 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Updated 4 years ago
- ☆26Updated 3 years ago
- distributed remote code execution engine☆15Updated 2 months ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- ☆15Updated 5 years ago
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆25Updated 9 months ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- A top-like utility for monitoring Finagle services☆22Updated 11 years ago
- Variable interpolation and formatting strings for Scala☆26Updated 7 years ago
- BitMEX to DTC gateway☆11Updated 6 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- A new query language designed for building composable and reproducible data processing pipelines☆13Updated 10 months ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- Deterministic transactional database layer on top of a stream processing engine☆25Updated 5 years ago
- ☆17Updated 2 weeks ago
- ☆13Updated 6 years ago
- A educational / research implementation of the Avalanche consensus algorithm written in Rust☆38Updated 6 years ago
- Sireum v3☆10Updated last year
- DIQL: Data Intensive Query Language☆12Updated 4 years ago
- EncryCore node reference implementation☆15Updated 5 years ago