4 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
juan-csv
Face_info juan-csv
40
166
mit
5
face recognition, detection of facial attributes (age, gender, emotion and race) for python.
age-detection face-tracking face-detection race-detection age-recognition face-recognition gender-detection emotion-detection gender-prediction emotion-recognition race-classification gender-classification
Created 2020-07-26
7 commits to master branch, last one 3 years ago
goblint
analyzer goblint
72
160
mit
18
Static analysis framework for C
c ocaml race-detection race-conditions static-analysis program-analysis static-code-analysis software-verification abstract-interpretation
Created 2011-07-18
16,227 commits to master branch, last one 21 hours ago
metarhia
web-locks metarhia
10
83
mit
14
Web Locks API 🔒
lock async await locks mutex nodejs atomics locking threads deadlock parallel data-race semaphore web-locks synchronize shared-memory multithreading race-detection synchronization sharedarraybuffer
Created 2020-03-06
53 commits to master branch, last one 3 months ago