Mohammed Al-Mahfoudh's repositories
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.
agents-corpus
A port from Scala's DS2 framework to Rust. The goal is to address all actor-based agent's needs including the introduction of improvements in ergonomics, extensibility, and features.
doomemacs
An Emacs framework for the stubborn martian hacker
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.
max
A collection of sample programs, notebooks, and tools which highlight the power of the MAX Platform
mojo
The Mojo Programming Language
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.