arijitvt/RTool
A Dynamic Invariant Generator for Concurrent Programs, written using PThread library.
Public GitHub Catalog
Discovered Sep 30, 2026
arijitvt / Benchmarks
This will contain the pristine Benchmark set for r_tool
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.
#18414431GitHub 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