Web Locks API 🔒

Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.

Pure-Go race detector - No CGO required! Detect data races in Go programs running on AWS Lambda, Docker (FROM scratch), Alpine Linux. FastTrack algorithm, 85.7% coverage, production-ready

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

Code samples demonstrating multi-threading concepts in C++

Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.

Runtime Detection of Data Races in OCaml with ThreadSanitizer

Serious game for learning about concurrency - thread interleavings, data races and deadlocks.

A dynamic data race detector for CUDA programs

Atomic is a lightweight Swift property wrapper that provides thread-safe access to values. It ensures safe concurrent access to properties without the complexity of manual lock management.

Multi-threaded simulation solving the Dining Philosophers problem via POSIX synchronization metrics

An educational kernel module experiment implementing the same character buffer device driver in both C and Rust. Designed to explore kernel development patterns, concurrency handling, and language-specific safety guarantees. Includes test scripts and built-from-source kernel testing environment.

🎯 Detect race conditions in your Go applications with this pure Go race detector, compatible with `CGO_ENABLED=0`. Ensure safer, more reliable code easily.

A server-client implementation where multiple threads are concurrently handling mock requests.

Java Concurrency Demos

Swift Package of a property wrapper to make a property thread-safe without boilerplate code. Just add `@ThreadSafe` to your property.

Implementation of the Dining Philosophers Problem

Philosophers project from 42 Network

solving the dining philosophers problem using threads and mutexes

A concise, runnable SwiftUI example showing how Swift's actor type prevents data races in concurrent code.