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
- ralph tooling for VS Code.☆10Updated 9 months ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Oblivious RAM for Scala☆19Updated 4 years ago
- Lambdas covering supporter operations, mostly in life operations☆11Updated this week
- ☆13Updated 6 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Sireum v3☆10Updated last year
- Library for exposing gRPC endpoints via HTTP (JSON) API☆18Updated this week
- Parallel Byzantine Fault Tolerance (R&D)☆11Updated 7 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- A new query language designed for building composable and reproducible data processing pipelines☆13Updated 7 months ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago
- Minimal HTTP cache management library in Scala☆14Updated last week
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆24Updated 5 months ago
- FP concepts in Rust☆12Updated 6 years ago
- tasty project for Scala☆14Updated 8 years ago
- SML The Living Language☆11Updated 11 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- util modules for sbt☆15Updated 4 years ago
- Compile-time expression evaluation for Scala 2☆15Updated last week
- Stack-safe asynchronous programming☆37Updated 7 months ago
- Scala library for accessing various file, batch systems, job schedulers and grid middlewares.☆27Updated this week
- A Scala implementation of the open sourced LMAX Disruptor concurrency pattern☆55Updated 13 years ago
- Finagle Websocket clients and servers☆35Updated 7 years ago
- Object capability (ocap) tools and macros for Scala.☆18Updated 3 months ago
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- Variable interpolation and formatting strings for Scala☆26Updated 7 years ago
- A microlibrary for reliable and persistent webhook delivery☆20Updated last year
- Streaming Productivity Enhancements for Akka☆24Updated last year
- Your shiny new IO & Actor programming model!☆37Updated 5 months ago