SeanTAllen / pat-helland-and-me

Related projects ⓘ

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

• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• andreaTP / sophia-java
  Jni bindings and Scala usage of Sophia DB
  ☆16Updated 9 years ago
• Tim-Brooks / Precipice
  Monitoring and back pressure for task execution
  ☆17Updated 6 years ago
• rayokota / kdatalog
  Kafka as a Datalog Engine
  ☆28Updated last week
• puniverse / photon
  ☆27Updated 9 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆32Updated last year
• puniverse / capsule-shield
  Container caplet
  ☆35Updated 9 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 4 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• jbgi / eventsrc4j
  Focused and purely functional event sourcing library for Java
  ☆15Updated 7 years ago
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆57Updated 5 years ago
• cognitect-labs / transducers-java
  A Java implementation of Transducers
  ☆120Updated last year
• aphyr / gretchen
  Offline serializability verification, in Clojure
  ☆68Updated 7 years ago
• trvedata / trvedb
  ☆25Updated 8 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• 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
  ☆9Updated 5 years ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 7 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated last year
• dvliman / continuations-java
  small, easy to understand continuations library in java
  ☆17Updated 11 years ago
• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆70Updated 8 years ago
• puniverse / timewarp
  Virtual Time for the JVM
  ☆61Updated 6 years ago
• artsy / atomic-store
  Atomic event store for Scala/Akka
  ☆17Updated 6 years ago
• Porges / programming-history
  Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
  ☆45Updated 6 years ago
• meetuparchive / engineering-home
  Meetup Engineering Principles, Practices, Architecture, and Defaults
  ☆10Updated 5 years ago
• dclements / riak-java-crdt
  Java CRDT Library with a focus on supporting Riak.
  ☆41Updated 11 years ago
• spotify / hornet
  ☆11Updated 8 years ago
• boundary / fasttuple
  ☆142Updated 2 years ago
• lutzh / concurrency-talk
  Examples for the "JVM Concurrency Models" talk
  ☆9Updated 2 years ago