Projects in Awesome Lists by jaybosamiya
A curated list of projects in awesome lists by jaybosamiya .
https://github.com/jaybosamiya/security-notes
:notebook: Some security related notes
binary-analysis hacking notes pwning reverse-engineering security
Last synced: 05 Feb 2026
https://github.com/jaybosamiya/fuzzing-numpy
:snake: Experiments in trying to find 0-days in numpy
0day experimental fuzzing numpy security
Last synced: 31 Mar 2025
https://github.com/jaybosamiya/matasano-crypto
:key: Cracking real-world Crypto, the fun way
Last synced: 30 Apr 2025
https://github.com/jaybosamiya/latex-paper-template
:book: A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.
Last synced: 15 Jun 2025
https://github.com/jaybosamiya/to-spotify
:musical_note: Be able to add playlists to spotify from terminal
spotify-api spotify-playlist terminal
Last synced: 31 Mar 2025
https://github.com/jaybosamiya/lowstar-dlist-trials
[WIP] Writing low* code to implement dlists
Last synced: 31 Mar 2025
https://github.com/jaybosamiya/fstardoc
Tool for nicely extract documentation for F* files
Last synced: 19 Mar 2026
https://github.com/jaybosamiya/vale-mode.el
:wrench: Emacs support for Vale
Last synced: 19 Mar 2026
https://github.com/jaybosamiya/poly1305-equivalence
Proving equivalence of spec for Poly1305 in HACL* and Vale
fstar poly1305 proof verification work-in-progress
Last synced: 31 Mar 2025
https://github.com/jaybosamiya/benchify
A tool for declaratively specifying and running benchmarks of different tools against various tests
Last synced: 06 Apr 2025
https://github.com/jaybosamiya/inline-crate
Inline an entire crate into a single file
Last synced: 07 Sep 2025
https://github.com/jaybosamiya/hotcrp-review-mode.el
Emacs major-mode for writing HotCRP offline-reviews
Last synced: 13 Feb 2026
https://github.com/jaybosamiya/cmu-csd-thesis-template
A template-ified version of my PhD thesis
Last synced: 06 Apr 2025