Ron Pressler

Elite
@pron
pron.github.io/

amazon-snapshot-spec. TLA+ and Alloy specs of database isolation

20

pron.github.io. Java

13

awesome-java. A curated list of awesome Java frameworks, libraries and software.

8

jvm-mechanics. Presentation & Code Samples Showing Compilation & Deoptimization Behavior of HotSpot

3

wildfire-challenge. The Wildfire Verification Challenge Problem

2

s2-geometry-library-java. Automatically exported from code.google.com/p/s2-geometry-library-java

1
6
Apply