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 6 years ago
• rayokota / kdatalog
  Kafka as a Datalog Engine
  ☆28Updated last month
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆32Updated last year
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆57Updated 5 years ago
• andreaTP / sophia-java
  Jni bindings and Scala usage of Sophia DB
  ☆16Updated 9 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 8 years ago
• jessitron / microlib
  Importer program for microlibraries. Bring in the libbits!
  ☆18Updated 9 years ago
• palvaro / CMPS232-Fall16
  ☆101Updated 6 years ago
• jbgi / eventsrc4j
  Focused and purely functional event sourcing library for Java
  ☆15Updated 7 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• aphyr / gretchen
  Offline serializability verification, in Clojure
  ☆68Updated 7 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• trvedata / trvedb
  ☆25Updated 8 years ago
• dvliman / continuations-java
  small, easy to understand continuations library in java
  ☆17Updated 11 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 6 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated last year
• quintype / ringo
  Tool to transform Postgres OLTP database schemas to OLAP database star schemas automatically
  ☆10Updated 8 years ago
• puniverse / capsule-shield
  Container caplet
  ☆35Updated 9 years ago
• raganwald / combinators.info
  ☆23Updated 11 years ago
• ponylang / pony-for-x
  Source of the "Pony for X" intro to Pony series
  ☆14Updated 8 years ago
• bfabry / specify-it
  Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check
  ☆10Updated 5 years ago
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 5 years ago
• papers-we-love / remote-pwl
  Papers We ❤️ Remote
  ☆26Updated 8 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 5 years ago
• Tim-Brooks / Precipice
  Monitoring and back pressure for task execution
  ☆17Updated 6 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• runa-labs / clj-hazelcast
  Clojure library for the Hazelcast p2p cluster.
  ☆31Updated 9 years ago
• artsy / atomic-store
  Atomic event store for Scala/Akka
  ☆17Updated 7 years ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 7 years ago