4 results found Sort:

amit-davidson
Chronos amit-davidson
11
432
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
goblint
analyzer goblint
77
194
mit
19
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,881 commits to master branch, last one 6 days ago
juan-csv
Face_info juan-csv
46
178
mit
6
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 4 years ago
metarhia
web-locks metarhia
10
85
mit
12
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 10 months ago