Alternatives and similar repositories for ipa:

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

• andreaferretti / lethe
  Oblivious RAM for Scala
  ☆19Updated 4 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• evnm / fintop
  A top-like utility for monitoring Finagle services
  ☆22Updated 10 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆45Updated 3 years ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• rjolly / scas
  Scala Algebra System
  ☆16Updated last month
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• gkossakowski / scalac-aspects
  Playground for instrumenting `scalac` using AspectJ.
  ☆43Updated 10 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• lihaoyi / autojit
  ☆13Updated 5 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• yzernik / bitcoin-scodec
  Library for encoding Bitcoin network protocol messages in Scala.
  ☆21Updated 5 years ago
• ashwin153 / beaker
  A distributed, transactional key-value store.
  ☆64Updated 6 years ago
• odipar / spread
  SPREAD
  ☆19Updated 3 years ago
• aaronp / riff
  yet another Raft implementation
  ☆15Updated 6 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 3 years ago
• softwaremill / monix-correlation-id
  ☆10Updated 6 years ago
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆10Updated 2 weeks ago
• Atry / memcontinuationed
  Memcached client for Scala
  ☆50Updated 7 years ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 6 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• novus / unfinagled
  A small library for using unfiltered as a finagle frontend.
  ☆22Updated 11 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 7 years ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 7 years ago
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated 2 weeks ago