Alternatives and similar repositories for pat-helland-and-me

Users that are interested in pat-helland-and-me are comparing it to the libraries listed below

• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated 2 years ago
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆59Updated 6 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆176Updated 4 years ago
• rayokota / kdatalog
  Kafka as a Datalog Engine
  ☆28Updated 9 months ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated 2 years ago
• strangeloop / StrangeLoop2017
  Strange Loop 2017
  ☆77Updated 8 years ago
• aphyr / gretchen
  Offline serializability verification, in Clojure
  ☆66Updated 8 years ago
• cognitect-labs / transducers-java
  A Java implementation of Transducers
  ☆118Updated 2 years ago
• jbgi / eventsrc4j
  Focused and purely functional event sourcing library for Java
  ☆14Updated 8 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆60Updated 8 years ago
• rodrigosetti / swagger-test
  Property based testing tool for Swagger APIs
  ☆32Updated 5 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 6 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 7 years ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆31Updated 8 years ago
• ajantis / java-crdt
  Collection of common Conflict-free Replicated Data Types in Java
  ☆112Updated 2 years ago
• orbit / orbit-sample
  ☆21Updated 3 years ago
• raganwald / combinators.info
  ☆23Updated 12 years ago
• HypothesisWorks / hypothesis-java
  Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
  ☆105Updated 2 years ago
• palvaro / CMPS232-Fall16
  ☆101Updated 7 years ago
• puniverse / capsule-shield
  Container caplet
  ☆34Updated 10 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• dclements / riak-java-crdt
  Java CRDT Library with a focus on supporting Riak.
  ☆42Updated 12 years ago
• strangeloop / StrangeLoop2016
  Strange Loop 2016
  ☆45Updated 9 years ago
• SamirTalwar / Rekord
  Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.
  ☆47Updated 8 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• dvliman / continuations-java
  small, easy to understand continuations library in java
  ☆17Updated 12 years ago
• puniverse / timewarp
  Virtual Time for the JVM
  ☆62Updated 7 years ago
• Sipkab / jvm-tail-recursion
  Optimizer library for tail recursive calls in Java bytecode
  ☆124Updated 2 years ago