Daniel's repositories
pEpitOS-x86_64
Microkernel for x86_64 architecture
Raccoon-exok
Implementation of an easily customizable exokernel
better-qemu
A qemu made for binary and execution trace analysis
qtiseclib_reverse
static reverse of the qtiseclib
Ark
ArkScript is a small, fast, functional and scripting language for C++ projects
BladeAndSorceryReversedMods
Some mods reversed (lol reversing .NET) in order to have some code samples.
brutal
🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering
built-pintools
Just a repository hosting built pintools for binary instrumentation.
ccrawl
clang-based search engine for C/C++ data structures, classes, prototypes & macros
citra
A Nintendo 3DS Emulator
Deadpool
Repository of various public white-box cryptographic implementations and their practical attacks.
FreeRTOS-Kernel
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
ghidra
Ghidra but without plugin version check
kbuild-template
Use Kbuild build system for your own applications. This is a small kbuild template, that you can easily adapt to your own needs.
lsectf_docker_template
This is a template repository for the lse ctf docker infrastructure
maybe-pEpitOS-m68k
Some research on m68030 kernels
modular-osint
A modular osint tool, handling knowledge on databases
NBAssembler
Assembler and Decompiler for NVIDIA (Maxwell Pascal Volta Turing Ampere) GPUs.
trace_analyse
Frontend analyser for https://github.com/DaemonOnUnix/better-qemu