uwsampa / coredetView external linksLinks
A Compiler and Runtime System for Deterministic Multithreaded Execution
☆11Jun 11, 2015Updated 10 years ago
Alternatives and similar repositories for coredet
Users that are interested in coredet are comparing it to the libraries listed below
Sorting:
- The Parrot stable and deterministic multi-threading system.☆25Nov 9, 2013Updated 12 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆61May 21, 2013Updated 12 years ago
- ScheduleOpt benchmarks☆16Nov 13, 2025Updated 3 months ago
- a SDK for creating a large mesh network, App example on☆15Feb 26, 2019Updated 6 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆33Dec 16, 2021Updated 4 years ago
- Yeat another WASM benchmark (WASI) - http://wabench.com:8080☆11Jan 7, 2023Updated 3 years ago
- 下载豆瓣电子书☆10Apr 25, 2017Updated 8 years ago
- MiCA gossip framework research project☆15Jun 14, 2023Updated 2 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed☆12Apr 21, 2019Updated 6 years ago
- Yet another lightweight version for K8S, and even lighter than K3S.☆11Mar 12, 2020Updated 5 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- Reflection metadata support for classes and functions with flowtype type aliases support☆10Nov 16, 2017Updated 8 years ago
- Produce subroutine call graphs (Static code analysis) for your perl scripts using GraphViz☆14Feb 14, 2018Updated 8 years ago
- ☆10May 14, 2020Updated 5 years ago
- Isomap in Python☆10Mar 1, 2013Updated 12 years ago
- ☆11Mar 3, 2021Updated 4 years ago
- output identical version strings from repository clones or downloaded archives☆12Nov 23, 2021Updated 4 years ago
- Reduction Server in Rust☆13Apr 9, 2024Updated last year
- Generic topological sorting for sorting a list of dependencies in C++17☆15Oct 18, 2018Updated 7 years ago
- gvisor hacks☆13Feb 1, 2020Updated 6 years ago
- x86 virtualization in JavaScript, running in your browser and NodeJS☆13Feb 12, 2019Updated 7 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- A virtual reality environment for physically assembling deep learning models to solve data science problems.☆13Jul 6, 2023Updated 2 years ago
- Lossless JSON encoding/decoding package in Go☆18Dec 4, 2018Updated 7 years ago
- fuzz testing framework for Linux system calls☆12Sep 4, 2015Updated 10 years ago
- create informational boxes in the terminal☆14Nov 16, 2022Updated 3 years ago
- container runtime testsuite☆10Jun 4, 2018Updated 7 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- Infrakit plugins for Google Cloud Platform.☆12May 8, 2017Updated 8 years ago
- Rclone running in Deno☆12Updated this week
- ☆15Aug 5, 2022Updated 3 years ago
- natural language processing with link-grammar☆18Sep 30, 2009Updated 16 years ago
- Funker for Go☆12Dec 31, 2016Updated 9 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Consistent archives of Kafka topics to an object store.☆14Jan 22, 2021Updated 5 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Feb 13, 2018Updated 8 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year