taibah/TLA
TLA+ modules for concurrent programming & C pthreads code equivalent
Developer Profile
taibah
Discovered public repositories for taibah in the GitHub catalog.
taibah/rpi
Raspberry Pi config
taibah/radare2
unix-like reverse engineering framework and commandline tools
taibah/gremlin
A Graph Traversal Language
taibah/gcc-explorer
Run GCC (and other compilers) interactively from your web browser and experiment with its generated code