SeanTAllen / pat-helland-and-meLinks
Materials related to my talk "Pat Helland and Me"
☆14Updated 6 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
Sorting:
- ☆64Updated 9 years ago
- Pure Pony Kafka client☆59Updated 6 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 6 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 7 years ago
- ☆101Updated 7 years ago
- Property based testing tool for Swagger APIs☆32Updated 4 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- Source of the "Pony for X" intro to Pony series☆14Updated 9 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 7 years ago
- Strange Loop 2017☆77Updated 8 years ago
- Kafka as a Datalog Engine☆28Updated 9 months ago
- Distributed system simulator and distributed algorithm scratchpad☆21Updated 2 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- Fjord, F# programming language for the JVM.☆209Updated 10 years ago
- Techniques, advice, and anecdotes about how to teach Functional Programming☆57Updated 9 years ago
- Strange Loop 2014 archives☆188Updated 11 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated 2 years ago
- Relay.js-compatible GraphQL adaptor for ES4J☆24Updated 9 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 4 years ago
- Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation☆60Updated 8 years ago
- Focused and purely functional event sourcing library for Java☆14Updated 8 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Offline serializability verification, in Clojure☆67Updated 8 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- ☆23Updated 12 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆71Updated 10 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 11 years ago
- Sandbox for playing around with CRDTs☆31Updated 8 years ago
- Frege REPL☆79Updated 6 years ago