High school student living in Germany
interested in reverse engineering, windows internals, (de-)obfuscation and everything else
-
unemployed
- Germany
-
00:13
(UTC +01:00)
Pinned Loading
-
amd-hypervisor
amd-hypervisor Public archivea minimalistic windows hypervisor for amd processors
-
Grouptheory-Isabelle
Grouptheory-Isabelle PublicA formalization of groups in Isabelle following the definitions of Van der Waerden's Modern Algebra. This was done as a group-project as part of the "Deutsche Schülerakademie" 2024.
Isabelle 4
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.