Hardened GNU/Linux
Popular repositories Loading
-
linux-exploit-development-tutorial
linux-exploit-development-tutorial Publica series tutorial for linux exploit development to newbie.
-
-
-
Debian-GNU-Linux-Profiles
Debian-GNU-Linux-Profiles PublicDebian GNU/Linux based Services Profiles
-
firmware-anatomy
firmware-anatomy PublicTear the firmware apart with your bare hands;-)
Repositories
- cedar-poo-spec Public
Formal Cedar Spec integration and incremental proof reuse with Lean-POO, and maintained several vertical exmaples in seucirty field
- artanis-khala Public
- deterministic-engineering Public
Reusable engineering design Library with Scheme/POO composition, ASCENT reasoning, formal verification, and SysML architecture models
- SonicBoom Public
SonicBoom is a compiler-first PyTorch alternative for language, vision, audio, and training. It builds on proven kernels and pushes performance further through compiler optimization, with native HTTP serving powered by GNU Artanis.
- agentos Public
- pagedrop Public Forked from revng/pagebuster
pagedrop - dump all executable pages of packed processes for x86_64 and arm64
- velum Public
A native reimplementation of the CosyVoice3 text-to-speech pipeline with zero Python at runtime.
- grsecurity-101-tutorials Public
- SonicCross Public
- animula Public
Top languages
Loading…
Most used topics
Loading…
