🎯
Focusing
I love writing code if it solves problems.
Computing student @imperial. I like to work with languages that have rich type-systems, e.g. Rust, Kotlin, Haskell.
Pinned Loading
-
funny-core-sim
funny-core-sim PublicAn assembler and CPU simulator for the FunnyCore architecture
Kotlin 3
-
-
knowlege-valult
knowlege-valult PublicA repository containing my notes about things I learned at school, and in my personal time.
-
-
rusty-type-experiments
rusty-type-experiments PublicA playground where I explore advanced/unstable features of Rust's type-system, such as encoding Higher-Kinded-Types (monad & friends), type-witnesses using specialization, and type-level programmin…
Rust
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.



