Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
A deterministic, fuzzable pthread implementation
-
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
-
SDK for building Kubernetes controllers.
-
Durable coroutines for Go
-
Presentation materials.
-
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
-
Scalable fuzzing infrastructure.
-
Testcontainers is a Python library that providing a friendly API to run Docker container. It is designed to create runtime environment to use during your automatic tests.
-
ViewStamped Replication implementation in Go
-
Deterministic Simulation Testing