Data-race detector for windows applications - built on top of DynamoRIO
-
Updated
Jun 29, 2021 - C++
#
correctness-evaluation
Here are 8 public repositories matching this topic...
Benchmark and correctness oracle for matching engines, with CI/CD checks against 100 billion order messages of precomputed consensus. Five calibrated workloads, byte-identical consensus, anti-cheat state audit.
challenge finance benchmark exchange high-performance-computing testing-tools hft matching-engine performance-optimization correctness-evaluation matching-algorithm performance-benchmark
-
Updated
Oct 16, 2026 - C++
Persian Stemming data-set in order to evaluate new stemmers
evaluation corpus linguistics dataset persian persian-language stemmer persian-nlp persian-stemmer correctness-evaluation
-
Updated
Dec 16, 2016 - Pascal
A learning-oriented LLM inference system built from scratch, focusing on operator-level correctness validation and performance evaluation on CPU, serving as an experimental platform for ZedInfer.
openmp performance-analysis simd-instructions correctness-evaluation operator-development llm-inference
-
Updated
Dec 18, 2025 - C++
Hardware accelerated PDA-QP solver in Chisel HDL, targeting FPGA/ASIC architecture
-
Updated
Mar 23, 2026 - Scala
GO tools to assist with "programming by contract"
-
Updated
Mar 18, 2020 - Go
C++ tools to assist with "programming by contract"
-
Updated
Aug 27, 2021 - C++
A framework for parallel or distributed program easy to case recurrent and correctness verification
-
Updated
Sep 9, 2018
Add this topic to your repo
To associate your repository with the correctness-evaluation topic, visit your repo's landing page and select "manage topics."