relacy
Race detector
A tool that detects potential races in concurrent programs using a complex synchronization algorithm verification approach.
Automatically exported from code.google.com/p/relacy
210 stars
15 watching
32 forks
Language: C++
last commit: almost 2 years agoLinked from 1 awesome list
caerind/awesomecppgamedevRelated projects:
| Repository | Description | Stars |
|---|---|---|
 amit-davidson/chronos | A static race detector for Go programs that identifies potential data races in concurrent execution | 429 |
 yosefk/checkedthreads | A parallelism framework that detects and prevents race conditions in multithreaded code by automatically load balancing and using Valgrind-based instrumentation. | 290 |
 src-d/enry | A tool that detects programming languages in files and returns their type and safety flags | 460 |
 xiaohaochen/rrc_detection | An object detection framework utilizing recurrent rolling convolution for accurate single-stage detection | 361 |
 hashwin/scylla | A Ruby-based language detection tool that uses N-Gram based text categorization to identify the language of given text. | 36 |
 lz118/deep-correlation-network | Develops a deep neural network model for detecting salient objects in RGBT images using correlation information from other colors. | 13 |
 team3997/chickenvision | An image processing system for detecting and tracking objects in camera feed using HSV color thresholding. | 31 |
 chengyangfu/retinamask | A Python-based implementation of a single-shot object detection algorithm using Mask R-CNN architecture. | 339 |
 arivera12/blazorcurrentdevice | A package providing device detection functionality for Blazor web applications using the current-device.js library. | 25 |
 jtoy/cld | A compact language detection library for Ruby based on Google Chrome's technology | 211 |
 dolotovevgeniy/deeppyramid | A repository providing pre-trained models and training scripts for face detection using a deep neural network architecture | 23 |
 xiaolonw/adversarial-frcnn | A Caffe-based implementation of A-Fast-RCNN, a method for object detection using adversarial networks. | 482 |
 ruotianluo/faster-rcnn-densecap-torch | An implementation of Faster R-CNN object detection in PyTorch, modified from DenseCap. | 85 |
 hekun-nvidia/py-darknet-yolo | A Python interface to YOLO object detection software using Darknet | 27 |
 kuangliu/pytorch-retinanet | This is a PyTorch implementation of the RetinaNet object detection algorithm with Focal Loss optimization. | 997 |