Stars
Verification and optimization tool for concurrent code
The official implementation of the block-based bounded queue (BBQ)
BingLingGroup / autosub
Forked from iWangJiaxiang/autosubCommand-line utility to transcribe/translate from video/audio/subtitles to subtitles
Minimal is a Jekyll theme for GitHub Pages
CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).
Fetch and install Boot Camp ESDs with ease.
The released code of Neurify in NIPS 2018
Deeplang is a new language for IoT device programming.
List of resources on transactional memory technology
Generic model checker for concurrent C programs (mirror repository)
ASCYLIB (with OPTIK) is a concurrent-search data-structure library with over 40 implementantions of linked lists, hash tables, skip lists, binary search trees, queues, and stacks.
A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)
A benchmark framework for concurrent queue implementations
An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/Synch-Framework/tree/v3.4.0-dev
LiTL: Library for Transparent Lock Interposition
Netty project - an event-driven asynchronous network application framework
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Ferrite, a toolkit for developing file system crash-consistency models