arijitvt/Benchmarks
This will contain the pristine Benchmark set for r_tool
Public GitHub Catalog
Discovered Sep 30, 2026
arijitvt / RTool
A Dynamic Invariant Generator for Concurrent Programs, written using PThread library.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#19258821GitHub System ID
arijitvtOrganization / User
PublicVisibility
ActiveCatalog Status
More from arijitvt
arijitvt/Py-Builder
The make building process seems to be cumbersome for most of the developers. Writing make files , configure scripts are difficult task for new programmers. Here we are trying a build a python based builder for C/C++. It will not generate any intermediate Makefile, rather directly compiles the project.
arijitvt/mydwmstatus
Code to update my dwm sttus
arijitvt/dwmstatus
DWM status bar in C