Alternatives and similar repositories for metronome:

Users that are interested in metronome are comparing it to the libraries listed below

• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• alephium / ralph-vscode
  ralph tooling for VS Code.
  ☆10Updated 8 months ago
• andreaferretti / lethe
  Oblivious RAM for Scala
  ☆19Updated 4 years ago
• pheymann / scala.bft
  Parallel Byzantine Fault Tolerance (R&D)
  ☆10Updated 7 years ago
• lihaoyi / autojit
  ☆13Updated 5 years ago
• zero-deps / kvs
  Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search
  ☆25Updated 4 months ago
• EncryFoundation / EncryCore
  EncryCore node reference implementation
  ☆15Updated 4 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• guardian / support-service-lambdas
  Lambdas covering supporter operations, mostly in life operations
  ☆11Updated this week
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• yzernik / bitcoin-scodec
  Library for encoding Bitcoin network protocol messages in Scala.
  ☆21Updated 5 years ago
• wvlet / wvlet-legacy
  A new query language designed for building composable and reproducible data processing pipelines
  ☆12Updated 5 months ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 4 years ago
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 5 years ago
• bholt / ipa
  Safely trading off consistency for performance.
  ☆12Updated 4 years ago
• avast / grpc-json-bridge
  Library for exposing gRPC endpoints via HTTP (JSON) API
  ☆18Updated 2 weeks ago
• openmole / gridscale
  Scala library for accessing various file, batch systems, job schedulers and grid middlewares.
  ☆27Updated 2 months ago
• aoprisan / func
  FP concepts in Rust
  ☆12Updated 6 years ago
• scala / sbt-scala-module
  sbt plugin for scala modules.
  ☆14Updated last month
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 2 months ago
• delimobil / cabbit
  ☆12Updated this week
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 6 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• lampepfl / dotty-feature-requests
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…
  ☆31Updated last year
• zio-archive / zio-webhooks
  A microlibrary for reliable and persistent webhook delivery
  ☆20Updated last year
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated 3 weeks ago