Hi! I'm Kyriel, a penultimate computer science undergraduate at NUS. I love learning new things and applying these things to build cool stuff. I take inspiriation from the world; from the things and people I meet. I'm interested in many things, but I'm particularly passionate about programming languages, memory management, systems programming, and (in the future) artificial general intelligence. I also have a passion for teaching and sharing knowledge, and I'm always happy to help others learn.

Beyond academics, I enjoy making good meals, making digital art, playing the trombone, and on occasion, exploring the world. I love tinkering - you will often see me upgrading my split keyboard, or 3D printing something.

I'm always looking for new opportunities to learn and grow, so if you have something interesting to share, or something to collaborate on, feel free to reach out!

I'm proficient in Rust, TypeScript, Scheme and C, and I'm familiar with C++, Go and Python. I have some experience in formal verification with the Coq proof assistant as well.

Currently exploring the functional programming paradigm with Haskell, and low-level programming with WebAssembly!

I've worked on a variety of cool projects! Here are some of them:

scm-slang: An R7RS Scheme implementation implemented as a Scheme-to-JavaScript transpiler

go-slang: An implementation of Go in JavaScript using a virtual machine

kylang: (WIP!) A self-specified programming language to demonstrate programming language concepts, using a verified bytecode compiler