SeanTAllen / pat-helland-and-me
Materials related to my talk "Pat Helland and Me"
☆14Updated 5 years ago
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
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- ☆64Updated 8 years ago
- Importer program for microlibraries. Bring in the libbits!☆18Updated 9 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Monitoring and back pressure for task execution☆17Updated 6 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- Pure Pony Kafka client☆57Updated 6 years ago
- Offline serializability verification, in Clojure☆67Updated 7 years ago
- Focused and purely functional event sourcing library for Java☆14Updated 7 years ago
- A Java implementation of Transducers☆120Updated last year
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- Kafka as a Datalog Engine☆28Updated 3 weeks ago
- Property based testing tool for Swagger APIs☆33Updated 4 years ago
- Container caplet☆35Updated 9 years ago
- ☆13Updated 8 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- ☆23Updated 12 years ago
- Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.☆103Updated last year
- small, easy to understand continuations library in java☆17Updated 11 years ago
- ☆12Updated 10 years ago
- ☆101Updated 7 years ago
- A Starter Template for SWI-Prolog Projects☆10Updated 4 years ago
- My Blog.☆56Updated 11 months ago
- writing on haskell☆33Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- ☆27Updated 9 years ago
- ☆57Updated 7 years ago
- A library for simulating parallel systems, in Clojure☆184Updated 12 years ago