2 results found Sort:

amit-davidson
Chronos amit-davidson
11
424
mit
5
Chronos - A static race detector for the go language
go ssa golang analysis detection detects-races race-condition race-detection race-conditions static-analysis synchronization pointer-analysis data-race-detection static-code-analysis mutex-synchronisation
Created 2020-10-02
253 commits to master branch, last one 2 years ago
atilaneves
fearless atilaneves
3
50
bsl-1.0
6
Safe concurrency in D (`shared` made easier)
d nogc rust safe dlang mutex safety dip1000 rustlang dlanguage lifetimes ownership rust-lang threading concurrency multithread rust-language multithreading reference-counting mutex-synchronisation
Created 2018-05-22
67 commits to master branch, last one 2 months ago