Hello, I'm Michael Lloyd. I was a student and worked at the University of New South Wales.
Some of my projects you may want to check out are:
ProtoKernel (64-bit ARM/RISC-V)
A custom, from-scratch, 64-bit experimental kernel. Inspired by Linux and FreeBSD, it's a proper higher-half kernel that is designed to run on ARMv8 and some RISC-V devices. It's currently my main project.click-and-collect-intll
The original click-and-collect is an interactive theorem prover for linear logic. I modified it to support a variant of linear logic called "intuitionistic linear logic". This required adding several thousands of lines of functional code. It's still a WIP for some features.PicoGamePad
This was a PCB I designed, a basic game controller, that was meant to show students how to solder and work with SMD components. This didn't go anywhere, but it's kind of cool.micromod-teensy-badapple
This project plays "Bad Apple!!" on a Teensy microcontroller variant, at 30-35 FPS. This was actually required some interesting steps, like encoding the video data into a custom format with RLE encoding. Generally, microcontrollers aren't meant to play videos like this. You can see a demonstration of this at https://youtube.com/shorts/9pGKf29HdKk?si=gKOMJnr1MINRLJsdYou may also want to check out my website at https://micl.dev! Thanks for visiting :)