-
dist-rl-testing Public
RL testing for distributed systems
Go Apache License 2.0 UpdatedJan 27, 2025 -
raft-fuzzing Public
Model coverage guided fuzzing of etcd raft
-
-
raft-java Public
Forked from wenweihu86/raft-javaRaft Java implementation which is simple and easy to understand.
Java Apache License 2.0 UpdatedSep 26, 2024 -
tigerbeetle Public
Forked from tigerbeetle/tigerbeetleThe distributed financial transactions database designed for mission critical safety and performance.
Zig Apache License 2.0 UpdatedSep 11, 2024 -
raft Public
Forked from etcd-io/raftRaft library for maintaining a replicated state machine
Go Apache License 2.0 UpdatedSep 3, 2024 -
-
dice Public
Forked from DiceDB/diceA drop-in replacement of Redis with SQL-based realtime reactivity.
Go Other UpdatedJul 13, 2024 -
-
redisraft Public
Forked from egeberkaygulcan/redisraft-fuzzingA Instrumented Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.
C Other UpdatedJul 3, 2024 -
redisraft-fuzzing Public
Fuzzing redis raft implementation
Go GNU General Public License v3.0 UpdatedJul 3, 2024 -
-
-
cometbft Public
Forked from cometbft/cometbftCometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
Go Apache License 2.0 UpdatedFeb 2, 2024 -
gocov Public
Library to read go coverage data programatically
Go BSD 3-Clause "New" or "Revised" License UpdatedJan 1, 2024 -
resonate Public
Forked from resonatehq/resonatea dead simple programming model for modern applications
Go Apache License 2.0 UpdatedDec 29, 2023 -
coyote Public
Forked from microsoft/coyoteCoyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
C# Other UpdatedJun 9, 2023 -
bftsmart Public
Forked from bft-smart/libraryBFT-SMaRt's project home page
Java Apache License 2.0 UpdatedNov 8, 2022 -
tendermint Public
Forked from tendermint/tendermint⟁ Tendermint Core (BFT Consensus) in Go
Go Other UpdatedNov 5, 2022 -
violent-go Public
Ethical hacking scripts in go from the voilent python book.
-
-
-
-
-
pctcp-epaxos Public
PCT testing of epaxos -extended from https://gitlab.mpi-sws.org/burcu/pctcp-cass/tree/PCTCP
Java Other UpdatedMay 17, 2020 -
dmml-assignments Public
Respository for storing the assignment code and outputs
Python UpdatedOct 7, 2019 -
supervisor-listener Public
Supervisor event listener with notifications to email, slack ...
Go UpdatedMar 29, 2019 -
crypto Public
Forked from boazbk/cryptoLecture notes for a course on cryptography
Other UpdatedOct 10, 2018 -
bollywood-actor-vis-gramex Public
Same as bollywood-actor-vis but using gramex
JavaScript UpdatedAug 25, 2016 -
bollywood-actor-vis Public
A directed graph visualisation on bollywood actors.
{{ message }}