sleirsgoevy's website

sleirsgoevy

AI-free zone: all projects listed on this website have been manually coded. No AI has been, or will be used for their development.

TheFlow has beaten me in this race; I'm still willing to contribute where I can, though.

ps5-kstuff — the current go-to homebrew solution for jailbroken PS5 consoles
ps4-rop-8cc — a fork of the 8cc C compiler to "ROP inside the PS4 web browser" as a target
ps4-hamachi — a port of the (sadly proprietary) LogMeIn Hamachi VPN to the PS4
vitasdk.nix — Nix overlay for VitaSDK & its packages _{(needs updating)}
Also contributed to several PS4 exploits
...et cetera, et cetera...

pmos_tools — a collection of small utilities to help with porting postmarketOS to new devices
Procrastinating on porting m1n1 to Samsung Exynos phones to aid with kernel debugging
Currently mainlining DOOGEE X5 Pro (MediaTek MT6735)
p1c0 — a m1n1-style tracing hypervisor, but much more lightweight
Made my own libhybris and an accompanying utility to access the phone's camera via the Android drivers

Got KVM/ARM working on the phone via Samsung's EL2 access backdoor
samsungipcd — a daemon that converts Samsung's proprietary modem protocol into Hayes AT commands
aakt — a paravirtualized EL2 ramoops console for early kernel bringup
~~Currently daily-driving this device running postmarketOS~~
~~Making kernel patches to let the mainline Linux kernel run on the device~~

CodeForces profile
brutejudge — a command-line multiclient for various judging system
OlympCheat — a DNS-based CDN serving some files for competitive programming competitions
Participating in ICPC (was on World Finals once)
If you know of any pending competitive programming competitions where I'm eligible to participate, please DM me on Telegram.

^{^{(but please, be extra careful when suggesting competitions backed by FCP Russia)}}

BMVM — a lightweight bare-metal hypervisor meant for stealthy instrumentation of the guest OS
nontexed — a TeX alternative for writing math formulas with a Python-like syntax
fbuild — a functional programming language inspired by Nix, meant to be used as a "better Makefile". Some 3K lines of C (should I rewrite it in Rust?)
aakd — ring0 debugger for debugging the (x86_64) Linux kernel on the same machine
(unreleased, abandoned, no codename) A duck-typed programming language based on untyped lambda calculus
(unreleased, abandoned, no codename) A Duolingo alternative using grammar-based phrase generation instead of hardcoded parallel phrases

_{Useless IRL info}