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
  ☆58Updated 6 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• raganwald / combinators.info
  ☆23Updated 12 years ago
• rayokota / kdatalog
  Kafka as a Datalog Engine
  ☆28Updated 2 months ago
• jbgi / eventsrc4j
  Focused and purely functional event sourcing library for Java
  ☆14Updated 8 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆59Updated 7 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• rodrigosetti / swagger-test
  Property based testing tool for Swagger APIs
  ☆32Updated 4 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 6 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 5 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• sviperll / higher-kinded-java
  ☆13Updated 8 years ago
• Tim-Brooks / Precipice
  Monitoring and back pressure for task execution
  ☆17Updated 7 years ago
• ponylang / pony-for-x
  Source of the "Pony for X" intro to Pony series
  ☆14Updated 8 years ago
• aphyr / gretchen
  Offline serializability verification, in Clojure
  ☆67Updated 8 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• pico-works / pico-event
  Tiny publish subscribe library
  ☆15Updated 8 years ago
• andreaTP / sophia-java
  Jni bindings and Scala usage of Sophia DB
  ☆16Updated 10 years ago
• sylvanc / pony-lecture
  Slides for Pony lectures
  ☆27Updated 7 years ago
• dvliman / continuations-java
  small, easy to understand continuations library in java
  ☆17Updated 12 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆38Updated 5 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• filibuster-testing / filibuster-java-instrumentation
  Filibuster instrumentation for the JVM.
  ☆17Updated last year
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 8 years ago
• jtfmumm / dsscratch
  Distributed system simulator and distributed algorithm scratchpad
  ☆21Updated last year
• jadeallenx / erlang-n-go
  Sample code for February 2016 Houston Golang Meetup
  ☆22Updated 3 years ago