- Barcelona, Spain
- https://jack-vanlightly.com
-
kafka-tlaplus Public
TLA+ specifications for Kafka related algorithms
-
-
-
-
iceberg Public
Forked from apache/icebergApache Iceberg
Java Apache License 2.0 UpdatedJul 25, 2024 -
-
maelstrom Public
Forked from jepsen-io/maelstromA workbench for writing toy implementations of distributed systems.
Clojure Eclipse Public License 1.0 UpdatedMar 20, 2024 -
bookkeeper-tlaplus Public
A TLA+ specification of the Apache BookKeeper replication protocol
-
-
tla-bin Public
Forked from pmer/tla-binCommand line binaries for the TLA+ language
Shell MIT License UpdatedJun 20, 2023 -
redpanda-openmessaging-benchmark Public
Forked from redpanda-data/openmessaging-benchmark -
-
vsr-tlaplus Public
TLA+ specifications related to Viewstamped Replication
-
MessagingPerfCode Public
Some scripts and code for testing out various messaging systems and performance
-
ChaosTestingCode Public
Code for doing chaos testing on various distributed systems
-
RabbitMq-PoC-Code Public
Just proof of concept code for working with the C# RabbitMq client
-
-
vsr-rs Public
Forked from penberg/vsr-rsViewstamped Replication for Rust
Rust MIT License UpdatedNov 21, 2022 -
-
MessageSystemExperiments Public
Some code for experiments with various messaging systems
-
java-taskling Public
API for batch jobs. Partitioning of batches into blocks of work, limiting the number of concurrent task instances, critical sections across servers, standardised activity logging and alerting.
Java MIT License UpdatedNov 16, 2022 -
RabbitTestTool Public
A tool for running performance and correctness experiments on RabbitMQ
-
bookkeeper Public
Forked from apache/bookkeeperApache Bookkeeper
Java Apache License 2.0 UpdatedAug 1, 2022 -
raft-tlaplus Public
TLA+ specifications for Raft and variants
-
pulsar Public
Forked from apache/pulsarApache Pulsar - distributed pub-sub messaging system
Java Apache License 2.0 UpdatedAug 23, 2021 -
-
zookeeper Public
Forked from BinyuHuang-nju/zookeeperApache ZooKeeper
Java Apache License 2.0 UpdatedMay 8, 2021 -
pulsar-flink-playground Public
Just for messing around with pulsar and flink
-
process-exporter Public
Forked from ncabatoff/process-exporterPrometheus exporter that mines /proc to report on selected processes
Go MIT License UpdatedOct 14, 2020 -
openmessaging-benchmark Public
Forked from openmessaging/benchmarkOpenMessaging Benchmark Framework
Java Apache License 2.0 UpdatedJan 22, 2020