Jack Vanlightly

icon indicating a website link https://jack-vanlightly.com icon indicating an email [email protected]

icon location Barcelona, Spain icon location Working at Confluent, thinking about streaming.

Results 13 repositories owned by Jack Vanlightly

vsr-tlaplus

52
Stars
5
Forks
Watchers

TLA+ specifications related to Viewstamped Replication

verified publisher icon Vanlightly

kafka-tlaplus

67
Stars
6
Forks
Watchers

TLA+ specifications for Kafka related algorithms

verified publisher icon Vanlightly

table-formats-tlaplus

39
Stars
9
Forks
Watchers

TLA+ specs for table formats

verified publisher icon Vanlightly