j✳ jihoo.GitHub
HELLO, I'M JIHOO

Hey there,
I'm Jihoo.

I build what sparks my curiosity and write down what I learn.
Finding joy in the little things along the way.

More about me Explore the journal
✳ A LITTLE SPACE ON THE INTERNET
A smiling white character walking through a sunny wildflower meadowKEEP MOVING
01 / ABOUT THIS SPACE

A little curiosity
goes a long way.

This is my little space to share projects, lessons from building things, and the occasional thought from everyday life.

One small step at a time, at my own pace.

Get to know me
02 / PROJECTS

Things I'm building.

See all projects
Rust

jihoo

An easy programming language with three profiles.

  • compiler
  • llvm
  • vm
Rust

kaguyaOS

A hobby operating system for x86_64 UEFI, written in Rust.

  • osdev
  • kernel
  • smp
Rust

Horn

A small Rust checker for explicit derivation certificates in first-order Horn theories.

  • proof-checking
  • cubical
  • agda
03 / JOURNAL

Recent notes.

View all

New stories are on their way.

Nothing here just yet. Check back soon!

STAY TUNED ↗