- Manchester, United Kingdom
-
15:18
(UTC) - yiannis.site
- https://orcid.org/0009-0000-5755-5099
- in/yiannis-ch
Lists (14)
Sort Name ascending (A-Z)
Stars
How to Make a Computer Operating System in C++
Flipper Zero Unleashed Firmware
🍯 T-Pot - The All In One Multi Honeypot Platform 🐝
Use any web browser or WebView as GUI, with your preferred language in the backend and modern web technologies in the frontend, all in a lightweight portable library.
Fork of VKD3D. Development branches for Proton's Direct3D 12 implementation.
Advanced Linux Driver for Xbox One Wireless Controller (shipped with Xbox One S)
Fork of https://github.com/sm64-port/sm64-port with additional features.
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…
Free 2D graphics engine with raster effects for retro/classic style game development
Homebrew development library for Nintendo 3DS/Horizon OS user mode (Arm11)
A complete decompilation of Sonic Mania (2017)
The efficient SMT-based context-bounded model checker (ESBMC)
Jo Engine is an open source 2D and 3D game engine for the Sega Saturn written in C under MIT license
Utilities for rooting and sideloading APKs on TCL Flip 2
KOS2.0 SDL[DREAMHAL]+GLDC]FAST Now using GLDC https://gitlab.com/simulant/GLdc 3D hardware via OpenGL and 2D video framebuffer PVR DMA FLIP Full KallistiOS and SDL integration UPGRADED blitspeed us…
SpiNNaker API, sark, sc&mp, bmp firmware and build tools
Benchmarks and other data relating to ESBMC - Vampire integration