Alexandre ABITA's starred repositories
stable-diffusion-webui
Stable Diffusion web UI
tree-sitter
An incremental parsing system for programming tools
terminalizer
🦄 Record your terminal and generate animated gif images or share a web player
VirtualBuddy
Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3
minegrub-theme
A Grub Theme in the style of Minecraft!
static-binaries
Various *nix tools built as statically-linked binaries
awesome-mobile-CTF
This is a curated list of mobile based CTFs, write-ups and vulnerable apps. Most of them are android based due to the popularity of the platform.
TEE-reversing
A curated list of public TEE resources for learning how to reverse-engineer and achieve trusted code execution on ARM devices
flipper-zero-tutorials
See README.md for link to Discord & YouTube. I will use this repository for my Flipper Zero projects & wiki.
kotlin-spec
Kotlin Language Specification:
message-format-wg
Developing a standard for localizable message strings
android-key-attestation
Android Key Attestation validation library
samsung-trustzone-research
Reverse-engineering tools and exploits for Samsung's implementation of TrustZone
tree-sitter-kotlin
Kotlin grammar for Tree-sitter
tee_research
Some tee/trustzone helper stuff
mclf-ghidra-loader
Ghidra loader module for the Mobicore trustlet and driver binaries