😎
Playing with language ideas
Low-level programming and operating systems enthusiast. Fascinated with formal languages and proofs.
Popular repositories Loading
-
x86-Assembly-Font-Renderer
x86-Assembly-Font-Renderer PublicBootloader that draws characters from a 5x7px font
-
x86-Assembly-AES256-Implementation
x86-Assembly-AES256-Implementation PublicA bare-metal implementation of the common AES256 algorithm
-
CirnOSExamples
CirnOSExamples PublicCommunity-driven examples of what can be done with CirnOS
-
youtube-dl
youtube-dl PublicForked from Jamie-Landeg-Jones/youtube-dl
Command-line program to download videos from YouTube.com and other video sites
Python 1
-
pacmanclone-lua
pacmanclone-lua PublicMid-scale Lua project for reference using LÖVE framework
Lua 1
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.