arijitvt/RTool
A Dynamic Invariant Generator for Concurrent Programs, written using PThread library.
Public GitHub Catalog
Discovered Sep 28, 2026
arijitvt / linux_tit_bits
Contains various tit bits file of linux.
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.
#12496481GitHub System ID
arijitvtOrganization / User
PublicVisibility
ActiveCatalog Status
More from arijitvt
arijitvt/Benchmarks
This will contain the pristine Benchmark set for r_tool
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