Starred repositories
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A curated list of awesome resources related to the Ada and SPARK programming language
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Containing my notes, practice binaries + solutions, blog posts, etc. for the Offensive Security Exploit Developer (OSED/EXP-301)
Open Source Routing Machine - C++ backend