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
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆57Updated 5 years ago
• ponylang / pony-for-x
  Source of the "Pony for X" intro to Pony series
  ☆14Updated 8 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• darach / eep-erl
  eep.erl - Embedded Event Processing
  ☆37Updated 9 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• jbgi / eventsrc4j
  Focused and purely functional event sourcing library for Java
  ☆14Updated 7 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• jessitron / microlib
  Importer program for microlibraries. Bring in the libbits!
  ☆18Updated 9 years ago
• rayokota / kdatalog
  Kafka as a Datalog Engine
  ☆28Updated last week
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 4 months ago
• raganwald / combinators.info
  ☆23Updated 12 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 5 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• rodrigosetti / swagger-test
  Property based testing tool for Swagger APIs
  ☆33Updated 4 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆38Updated 5 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• mmhelloworld / jvm-assembler
  JVM bytecode assembler as REST api
  ☆10Updated last year
• Tim-Brooks / Precipice
  Monitoring and back pressure for task execution
  ☆17Updated 6 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 7 years ago
• ponylang / reactive_streams
  Pony implementation of http://www.reactive-streams.org/
  ☆40Updated this week
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• spotify / hornet
  ☆11Updated 8 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• rberenguel / tla_lightning
  Lightning talk about TLA+ for Scala Exchange 2018
  ☆9Updated 5 years ago
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 8 years ago
• andreaTP / sophia-java
  Jni bindings and Scala usage of Sophia DB
  ☆16Updated 9 years ago