-
🔭 I’m currently working on a SD card driver for the Odroid C4, with the eventual goal of designing a performant file system that fits into the SDDF for the Lions OS, an operating system built on top of the seL4 ecosystem.
-
👯 In my spare time, I like learning about the Rust programming language, and would be especially keen on getting my hands dirty with any async Rust / tokio in the near future!
-
💬 Within the world of maths, I'm particularly interested in functional analysis, anything to do with topological spaces, measure theory, and time series! In the world of computer science, I have some limited experience with frontend, machine learning (ARIMA, SARIMA, time series models) and networks, and am now looking to explore more within the realms of embedded systems, operating systems and performance engineering!
-
📫 You can reach me anytime at [email protected].
-
⚡ Have you heard of the Banach–Tarski paradox?
Pinned Loading
-
OdroidC4-SD-Device-Driver
OdroidC4-SD-Device-Driver PublicForked from ptrk8/sddf-mmc-rpi3b
Attempting to port the RP3 eMMC Driver to a readable Odroid C4 Device Driver
-
-
csesoc/story-website
csesoc/story-website PublicA website for story-driven programming competitions.
-
noThanks
noThanks PublicA stub for a simple website that hosts a simple version of the game, No Thanks!
JavaScript
-
-
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.