Adrian Sosa's repositories
comcast
Simulating shitty network connections so you can build better systems.
EmbeddedController
Embedded Controller firmware for the Framework Laptop
ExpansionCards
Reference designs and documentation to create Expansion Cards for the Framework Laptop
focs-notebooks
Foundations of Computer Science notebooks
Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
lorom-template
Super NES LoROM (mode $20) project template for ca65 assembler
nixpkgs
Nix Packages collection
ocaml-effects-tutorial
Concurrent Programming with Effect Handlers (CUFP'17)
oot
Decompilation of The Legend of Zelda: Ocarina of Time
ppsspp-ffmpeg
A slimmed-down build of FFMPEG used in PPSSPP. Includes h.264, atrac3+, AAC and a few other codecs.
pvsneslib
PVSnesLib : A small, open and free development kit for the Nintendo SNES
qmk_firmware
My fork of qmk with support for some custom built boards, and my key maps
spleeter
Deezer source separation library including pretrained models.
terrific-audio-driver
A homebrew audio driver for the Super Nintendo