taibah/TLA
TLA+ modules for concurrent programming & C pthreads code equivalent
Public GitHub Catalog
Discovered Sep 27, 2026
taibah / gremlin
A Graph Traversal Language
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.
#9669663GitHub System ID
taibahOrganization / User
PublicVisibility
ActiveCatalog Status
More from taibah
taibah/rpi
Raspberry Pi config
taibah/radare2
unix-like reverse engineering framework and commandline tools
taibah/gcc-explorer
Run GCC (and other compilers) interactively from your web browser and experiment with its generated code