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:
- Lambdas covering supporter operations, mostly in life operations☆11Updated this week
- Oblivious RAM for Scala☆19Updated 4 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- ralph tooling for VS Code.☆10Updated last year
- SML The Living Language☆11Updated 11 years ago
- A new query language designed for building composable and reproducible data processing pipelines☆13Updated 9 months ago
- Parallel Byzantine Fault Tolerance (R&D)☆11Updated 7 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- Compile-time expression evaluation for Scala 2☆16Updated 2 weeks ago
- FP concepts in Rust☆12Updated 6 years ago
- ☆13Updated 5 months ago
- Pragmatic command line parsing and configuration for Scala apps☆14Updated 2 years ago
- A microlibrary for reliable and persistent webhook delivery☆20Updated last year
- Sireum v3☆10Updated last year
- Scala library for accessing various file, batch systems, job schedulers and grid middlewares.☆27Updated 2 weeks ago
- This is a highly optimized blake3 implementation for scala, scala-js and scala-native☆27Updated this week
- Variable interpolation and formatting strings for Scala☆26Updated 7 years ago
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- A Datalog execution engine for Scala☆10Updated 2 months ago
- Functional user journeys☆9Updated last year
- util modules for sbt☆15Updated 5 years ago
- EncryCore node reference implementation☆15Updated 5 years ago
- Expressive deterministic concurrency in Scala☆15Updated 3 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- distributed remote code execution engine☆15Updated 2 months ago
- ☆15Updated 4 years ago
- ☆16Updated 4 years ago
- Papers I (+ collaborators) have written or am currently writing☆20Updated 7 years ago
- measure entropy of memory allocators☆12Updated 3 years ago