pron

Ron Pressler pron

390 followers · 26 following

https://pron.github.io/

Achievements

Organizations

jdk Public
Forked from openjdk/jdk

JDK main-line development

Java GNU General Public License v2.0 Updated Nov 22, 2024
loom Public
Forked from openjdk/loom

https://openjdk.java.net/projects/loom/

Java GNU General Public License v2.0 Updated Mar 24, 2023
jdk20 Public
Forked from openjdk/jdk20

https://openjdk.org/projects/jdk/20

Java GNU General Public License v2.0 Updated Jan 19, 2023
jdk19 Public
Forked from openjdk/jdk19

JDK 19 development

Java GNU General Public License v2.0 Updated Jul 7, 2022
ewd998 Public
Forked from lemmy/ewd998

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

TLA MIT License Updated Jun 7, 2021
pron.github.io Public

Java 13 9 Updated Nov 2, 2020
lets-prove-leftpad Public
Forked from hwayne/lets-prove-leftpad

Proving leftpad correct in a dozen different ways

Isabelle Other Updated Apr 5, 2019
tlaplus Public
Forked from tlaplus/tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java Updated Feb 20, 2017
quasar-skynet Public
Forked from circlespainter/quasar-skynet

Java Updated May 2, 2016
awesome-java Public
Forked from akullpp/awesome-java

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

8 4 Updated Jan 31, 2016
wildfire-challenge Public

The Wildfire Verification Challenge Problem

2 1 Updated Oct 13, 2015
amazon-snapshot-spec Public

TLA+ and Alloy specs of database isolation

Alloy 20 3 Updated Oct 13, 2015
capsule-jruby Public

JRuby Capsule

Java Updated Aug 13, 2015
jnr-fuse Public
Forked from SerCeMan/jnr-fuse

FUSE implementation in Java using Java Native Runtime (JNR)

Java MIT License Updated Jun 21, 2015
jvm-mechanics Public
Forked from dougqh/jvm-mechanics

Presentation & Code Samples Showing Compilation & Deoptimization Behavior of HotSpot

Java 3 1 Updated Jun 19, 2015
s2-geometry-library-java Public

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

Java 1 Apache License 2.0 Updated Apr 30, 2015
dropwizard-comsat-example Public

Java Updated Mar 11, 2015
jnr-ffi Public
Forked from jnr/jnr-ffi

Java Abstracted Foreign Function Layer

Java Other Updated Jan 26, 2015
jncss-capsule Public

Groovy Updated Sep 3, 2014
kryo Public
Forked from EsotericSoftware/kryo

Java serialization and cloning: fast, efficient, automatic

Java BSD 3-Clause "New" or "Revised" License Updated Jul 14, 2014
sysman Public

Remote multi-shell

Updated May 7, 2013
njinterface Public

JInterface replacement based on Scalang

Java Updated Jan 10, 2013
visage-compiler Public
Forked from visage-lang/visage-compiler

Visage Compiler

Java GNU General Public License v2.0 Updated Sep 28, 2012

Ron Pressler pron

Achievements

Achievements

Organizations

jdk Public

Uh oh!

loom Public

Uh oh!

jdk20 Public

Uh oh!

jdk19 Public

Uh oh!

ewd998 Public

Uh oh!

pron.github.io Public

Uh oh!

lets-prove-leftpad Public

Uh oh!

tlaplus Public

Uh oh!

quasar-skynet Public

Uh oh!

awesome-java Public

Uh oh!

wildfire-challenge Public

Uh oh!

amazon-snapshot-spec Public

Uh oh!

capsule-jruby Public

Uh oh!

jnr-fuse Public

Uh oh!

jvm-mechanics Public

Uh oh!

s2-geometry-library-java Public

Uh oh!

dropwizard-comsat-example Public

Uh oh!

jnr-ffi Public

Uh oh!

jncss-capsule Public

Uh oh!

kryo Public

Uh oh!

sysman Public

Uh oh!

njinterface Public

Uh oh!

visage-compiler Public

Uh oh!