zeu5 Goto Github PK

bftsmart

BFT-SMaRt's project home page

bollywood-actor-vis

A directed graph visualisation on bollywood actors.

bollywood-actor-vis-gramex

Same as bollywood-actor-vis but using gramex

cometbft

CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine

coyote

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

crisp

A concurrency test runner for go code

crypto

Lecture notes for a course on cryptography

dice

A drop-in replacement of Redis with SQL-based realtime reactivity.

dist-rl-testing

RL testing for distributed systems

dmml-assignments

Respository for storing the assignment code and outputs

epaxos

go-azure-rsl

Azure RSL protocol implemented in go

gocov

Library to read go coverage data programatically

godynamo

Go DynamoDB ODM

gomvcc

pctcp-epaxos

PCT testing of epaxos -extended from https://gitlab.mpi-sws.org/burcu/pctcp-cass/tree/PCTCP

quadcopter

Quadcopter using arduino board

raft

Minimalist raft implementation for testing

raft-fuzzing

Model coverage guided fuzzing of etcd raft

raft-rl-test

Testing raft in a controlled environment

redisraft

A Instrumented Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.

redisraft-fuzzing

Fuzzing redis raft implementation

resonate

a dead simple programming model for modern applications

slr-parser

A modest attempt to implement an SLR parser in python

stock-analysis

Analyse stock values based on predefined indicators using R

supervisor-listener

Supervisor event listener with notifications to email, slack ...

tendermint

⟁ Tendermint Core (BFT Consensus) in Go

tendermint-testing

tigerbeetle

The distributed financial transactions database designed for mission critical safety and performance.

violent-go

Ethical hacking scripts in go from the voilent python book.