Topic: "race-detection"
amit-davidson/Chronos
Chronos - A static race detector for the go language
Language: Go - Size: 13.4 MB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 435 - Forks: 11

goblint/analyzer
Static analysis framework for C
Language: OCaml - Size: 37.9 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 200 - Forks: 77

juan-csv/Face_info
face recognition, detection of facial attributes (age, gender, emotion and race) for python.
Language: Python - Size: 89.2 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 152 - Forks: 40

metarhia/web-locks
Web Locks API 🔒
Language: JavaScript - Size: 203 KB - Last synced at: 27 days ago - Pushed at: 4 months ago - Stars: 88 - Forks: 11

siemens/drace Fork of fmoessbauer/drace
Data-race detector for windows applications - built on top of DynamoRIO
Language: C++ - Size: 6.8 MB - Last synced at: 2 days ago - Pushed at: almost 4 years ago - Stars: 41 - Forks: 5

usc-sail/mica-race-from-face
Predicting race from faces for movie data
Language: Python - Size: 79 MB - Last synced at: 12 months ago - Pushed at: over 5 years ago - Stars: 26 - Forks: 13

JavanXD/Raceocat
Make exploiting race conditions in web applications highly efficient and ease-of-use.
Language: JavaScript - Size: 5.63 MB - Last synced at: 17 days ago - Pushed at: 12 months ago - Stars: 23 - Forks: 8

utpalbora/LLOV
LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
Language: C++ - Size: 296 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 5

csl-iisc/iGUARD-SOSP21
Race detector for NVIDIA GPUs, published in SOSP 2021.
Language: Cuda - Size: 68 MB - Last synced at: 19 days ago - Pushed at: 3 months ago - Stars: 18 - Forks: 8

hassansalehe/EmbedSanitizer
EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
Language: C++ - Size: 562 KB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 18 - Forks: 6

jcp19/SPIDER 📦
Automated data race detection from a distributed trace via SMT constraint solving
Language: Java - Size: 15.3 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 17 - Forks: 1

namsor/namsor-python-tools-v2
NamSor Python command line tools, to append gender, origin, diaspora or us 'race'/ethnicity to a CSV file.
Language: Python - Size: 7.14 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 5

dfava/grace
A race detector for Golang
Language: Python - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 1

Kartik-3004/facexbench
FaceXBench: Evaluating Multimodal LLMs on Face Understanding
Language: Python - Size: 409 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 9 - Forks: 1

MyNameIsPHP/faceprecision
Faceprecision is a comprehensive face analysis project leveraging advanced deep learning and computer vision techniques. This project includes a modules and source codes for detecting and analyzing various facial attributes such as age, emotion, gender, the presence of a mask, race and skin tone.
Language: Jupyter Notebook - Size: 727 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 9 - Forks: 0

andreendo/noderacer
A dynamic race detector with guided execution for Node.js applications http://www.brics.dk/noderacer
Language: JavaScript - Size: 350 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 2

Sobika2531/Age-Gender-And-Race-Detection-Using-CNN
To build a gender, race and age detector that can approximately guess the gender, race and age of the person (face) in a picture.
Language: Jupyter Notebook - Size: 1.52 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 4

aaroncoyner/not-color-blind
Predicting race from medical images.
Language: Jupyter Notebook - Size: 15.1 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

umangm/ziptrack
Race Detection on Compressed Traces
Language: Java - Size: 832 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 3

SBULeeLab/CGO18-nAdroid-Artifact
CGO18 nAdroid Artifact
Language: Java - Size: 241 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 4

namsor/namsor-tools-v2
NamSor command line tools, to append gender, origin, diaspora or us 'race'/ethnicity to a CSV file.
Language: Java - Size: 2.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 4

namsor/salesforce-addon
NamSor Salesforce Add-on : append likely gender to your SFSC / CRM contacts automatically. Can easily be forked to append US race / ethnicity, or country of origin as well.
Language: Apex - Size: 4.81 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

lazyCodes7/EthinicAPI
Predict race, age, gender of a person using this API.
Language: Python - Size: 153 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

euspectre/racehound Fork of kmrov/racehound
Data race detector for the Linux kernel
Language: C - Size: 462 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

micwypych/java-with-jpf-example
Java Path Finder and Gradle configuration with simple dining philosopher problem
Language: Java - Size: 1.57 MB - Last synced at: 6 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1

cs-au-dk/initracer
Practical Initialization Race Detection for JavaScript Web Applications
Language: JavaScript - Size: 217 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

serhiybutz/XConcurrencyKit
A bundle of concurrency helpers.
Language: Swift - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

PLaSSticity/SDP-WDP-implementation
Public implementation of SDP and WDP analyses, published in OOPSLA 2019. https://arxiv.org/abs/1904.13088
Language: Java - Size: 38.6 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

hassansalehe/DFinspec
Output non-determinism detection tool for shared memory dataflow applications.
Language: C++ - Size: 806 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

hassansalehe/OpenMPDataflowExamples
A repository containing small OpenMP dataflow examples: some are racy and others are correct.
Language: C++ - Size: 16.6 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

utpalbora/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Language: Fortran - Size: 143 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

utpalbora/OmpSCR_v2.0
Clone of OmpSCR v2.0 with modifications
Language: Fortran - Size: 310 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

cbekar/Kuda
A complete x86 race checker accelerated by Cuda GPU
Language: Cuda - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

DrPaulBrewer/verify-md5
Command line client to manage md5 verification of files in local directories and Google Cloud Storage [tm] buckets
Language: JavaScript - Size: 163 KB - Last synced at: 11 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 1

catseye/Matchbox
MIRROR of https://codeberg.org/catseye/Matchbox : A toy race-condition finder that can demonstrate Peterson's algorithm
Language: JavaScript - Size: 71.3 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Felipegonac0/TecRacingTelemetry
Web page to visualize in real time the telemetry of a Tec Racing car in an 'Electraton' race.
Language: JavaScript - Size: 17.3 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

DrPaulBrewer/verify-bucket-md5
Compare the md5 metadata of files in a Google Cloud Storage [tm] bucket against an md5.json file also stored in the bucket. Returns Promise
Language: JavaScript - Size: 73.2 KB - Last synced at: 15 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

WadeQ/RaceConditionDebuggingExample
Multi-threaded applications are a great way to improve performance, but they also make routine tasks like debugging a little more complicated. In this demo, i show how to debug race conditions in Java.
Language: Java - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

jaronson/racemachine
An application that detects and records race and sex from a video feed
Language: Python - Size: 16.9 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

DrPaulBrewer/verify-fsdir-md5
Compare the md5 of files in a filesystem directory against an md5.json file also stored in the directory
Language: JavaScript - Size: 11.7 KB - Last synced at: 6 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

IITH-Compilers/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Language: Fortran - Size: 78.1 KB - Last synced at: 28 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

trucnguyenlam/relacy-swarm Fork of dvyukov/relacy
Language: C++ - Size: 294 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
