Alexander Tarasikov's starred repositories
practical-fm
A gently curated list of companies using verification formal methods in industry
bladeRF-wiphy
bladeRF-wiphy is an open-source IEEE 802.11 compatible software defined radio VHDL modem
io_uring-by-example
A companion repository for the io_uring by Example article series
ghidra_kernelcache
a Ghidra framework for iOS kernelcache reverse engineering
linear-algebra-done-right-solutions
Solutions to Linear Algebra Done Right, Third Edition
fairplay_research
Some RE work on Apple's Fairplay DRM
monocular-depth-unity
Depth from Monocular Image using the MiDaS v2 library with Unity's Barracuda inference framework
preloader-m1
Preloader for Linux on M1
isosurface
Rust algorithms for isosurface extraction
opengl-radiosity-tutorial
Source code and tutorial for a progressive radiosity renderer written in C++ using OpenGL 4.5
AFLplusplus-protobuf-mutator
AFLplusplus + libprotobuf-mutator
iOS-device-tree-dump
Dump non-encrypted iOS device tree extracted from im4p