deadlock topic
List
deadlock repositories
os
39
Stars
13
Forks
Watchers
:book: Operating Systems - A Friendly Handbook :book: (Open Notes)
mulint
16
Stars
2
Forks
Watchers
Go lint which detects recursive locks, which may lead to dead locks
rumpsteak
37
Stars
7
Forks
Watchers
:meat_on_bone: Session types for asynchronous communication between multiple parties.
ddsv-go
28
Stars
1
Forks
Watchers
A toy deadlock detector written in Go. 🔍
cppguard
42
Stars
2
Forks
Watchers
C++ developer tool for detecting deadlocks
pg-deadlock-playground
17
Stars
0
Forks
Watchers
Playground for verifying that queries cannot deadlock
BugInsight
48
Stars
1
Forks
Watchers
A memory leak and deadlock finder for C, C++