Repositories list

• llvm-project-tsan

  Public
  The LLVM Project fork for TSan contributions.

  LLVM

  •

  Other

  •17k17k forks•33 stars•55 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• tsan-experiments

  Public
  Benchmarks and script for TSan and improved TSan performance evaluation

  Shell

  •00 forks•11 star•2121 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• rapid

  Public
  Dynamic Analysis for Concurrent Programs

  threadconcurrent-programmingprogram-analysis+ 2

  threadconcurrent-programmingprogram-analysisdynamic-analysis-enginesrace-detection-engines

  Java

  •

  MIT License

  •1212 forks•3030 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• fptlin

  Public
  General linearizability checker for small number of threads

  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 13, 2026Apr 13, 2026

• trace-theory-lean

  Public
  Lean

  •00 forks•00 stars•00 issues•11 pull request•Updated Apr 9, 2026Apr 9, 2026

• mathlib4

  Public
  The math library of Lean 4

  Lean

  •

  Apache License 2.0

  •1.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated Mar 24, 2026Mar 24, 2026

• llvm-project

  Public
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Other

  •17k17k forks•22 stars•2222 issues•22 pull requests•Updated Mar 12, 2026Mar 12, 2026

• focs-lab.github.io

  Public
  HTML

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 1, 2025Oct 1, 2025

• reading-group

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 3, 2025Sep 3, 2025

• LinP

  Public
  C++

  •

  MIT License

  •11 fork•33 stars•00 issues•00 pull requests•Updated Aug 20, 2025Aug 20, 2025

• .github

  Public
  Foundations of Computer Systems Lab @ NUS

  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 20, 2025Aug 20, 2025

• constraint-race-detection

  Public
  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 30, 2025Apr 30, 2025

• enumerate-race-detection

  Public
  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 20, 2025Apr 20, 2025

• pldi25-sampling-timestamp

  Public
  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 19, 2025Mar 19, 2025

• benchbase-experiments

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 18, 2025Mar 18, 2025

• monitor

  Public
  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 7, 2025Mar 7, 2025

• tsan-benchmarks

  Public
  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 28, 2025Feb 28, 2025

• v8-data-races

  Public
  Bug reports of data races previously found in V8

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 20, 2024Aug 20, 2024

• benchbase

  Public
  Multi-DBMS SQL Benchmarking Framework via JDBC

  Java

  •

  Other

  •217217 forks•00 stars•00 issues•00 pull requests•Updated Jun 26, 2024Jun 26, 2024

• rapid-nscc-scripts

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 17, 2024May 17, 2024

• c11concurrency-benchmarks

  Public
  Mirror of http://plrg.eecs.uci.edu/git/?p=c11concurrency-benchmarks.git because their server is quite slow

  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 8, 2024Apr 8, 2024