Full List of Projects
wasm-math-evaluator
A symbolic math evaluator library written in Rust for the web. Includes a handwritten parser and custom implementations for certain maths functions, and compiles to WebAssembly.
GitHub Page
caglang
An expression-oriented, statically typed programming language, with first-class support for algebraic data types. This is more of a project for learning than anything else.
GitHub Page
FlyLive
FlyLive was the first tool to let flight simulator streamrs display flight information on their livestream with full freedom of their overlay's design.
FlyChrono
FlyChrono is a flight simulator time-syncing tool. It aims to provide more and better features than existing paid solutions for free.
FlyLive Studio
A flight simulator streaming suite offering unparalleled flexibility, and is used by some of the biggest livestreamers.
Find Out More
FlyChrono v2
FlyChrono v2 is an open source flight simulator time-syncing tool. It aims to provide more and better features than existing paid solutions for free, while improving on my FlyChrono application.
Find Out More
OpenSkillBot
A Discord bot for competitive game servers to manage players. This was created as a way for me to learn the Discord API.
GitHub Page
Maths Test Framework (2024)
A framework for creating client-side maths assignments with automatic answer checking. This was created for a separate April Fools joke, but has genuine utility.
GitHub Page
SimpleCountdown
A beautiful, minimalist, client-side only countdown creator.
GitHub Page
Advent of Code Solutions
My complete solutions to Advent of Code from 2021 to 2023.
GitHub Page
Research Work
MLscript
Under HKUST's UROP program, I implemented tail-recursion modulo cons in the MLscript programming language. MLscript is a programming language designed with type inference and soundness in mind and compiles to many targets, including JavaScript. It is developed by HKUST's TACO Lab.
Work for Organisations
HSSC
I had created a blog system and a "Word of the Day" widget for a school organisation known as the Humanities and Social Sciences Council.
ISSIA Magazine
The ISSIA is an international inter-school organisation aimed at cultivating global citizenship. I created their magazine website with a custom static site generator that acts as a blog system.
Visit ISSIA Magazine