mohdsm81
I was once a human being then i became a mutant (PhD). Then life vanished. I am working on restoring it back to normal though, keep your fingers crossed.
Pinned Repositories
doomemacs
An Emacs framework for the stubborn martian hacker
ds2
guardrail
Principled code generation from OpenAPI specifications
latex-network-diagram-template
Template for LaTeX-based diagrams of one's home network and self-hosted services
luminal
Deep learning at the speed of light.
machines.update.scripts
scripts to be executed periodically to update all my machines in parallel using mpssh.
NetCapture
A network packets capturing CLI utility written in rust.
Org-mode-Configs
Jus a repo to old some org-mode configs to type fast reports
romp
romp is a verification tool that uses the murphi verification language along side a parallelized random walk of the state-space to perform verification tasks.
ytdlp-wrapper-scripts
wrapper scripts for the ytdlp command line util for consistently downloading and renaming files, as well as recoding them to MP4 to avoid transcoding from media servers for the most part.
mohdsm81's Repositories
mohdsm81/ds2
mohdsm81/doomemacs
An Emacs framework for the stubborn martian hacker
mohdsm81/guardrail
Principled code generation from OpenAPI specifications
mohdsm81/latex-network-diagram-template
Template for LaTeX-based diagrams of one's home network and self-hosted services
mohdsm81/luminal
Deep learning at the speed of light.
mohdsm81/machines.update.scripts
scripts to be executed periodically to update all my machines in parallel using mpssh.
mohdsm81/NetCapture
A network packets capturing CLI utility written in rust.
mohdsm81/Org-mode-Configs
Jus a repo to old some org-mode configs to type fast reports
mohdsm81/romp
romp is a verification tool that uses the murphi verification language along side a parallelized random walk of the state-space to perform verification tasks.
mohdsm81/ytdlp-wrapper-scripts
wrapper scripts for the ytdlp command line util for consistently downloading and renaming files, as well as recoding them to MP4 to avoid transcoding from media servers for the most part.