About me

I'm Théo Rozier, a work-study student at Ensimag and working at HPE in High Performance Computing. I develop mainly in Rust, Python, Java, C and C++, but sometimes I do some Web or OpenGL stuff.

I also play games such as Minecraft for which I developed too many useless add-ons. But this helped me a lot to progress through the programming world.

You can find many of my free-time and open-source projects on my Github profile.

You can contact me at contact [at] theorozier [dot] fr, or directly via my LinkedIn profile. I'm also present on Mastodon.

Projects

PortableMC - A CLI launcher for Minecraft made in Python, I consider it production-ready and is my most popular project. Featured on Fabric website, one of the most popular mod loader.

Experiments w/ Ox64 - A Rust embedded repository for RISC-V architecture on the Ox64 single board computer powered by a BL808 SoC. I'm trying to develop a Rust port of the official SDK, and also trying to have a RPi Camera working through CSI.

Aves - An attempt to make a RISC-V modular kernel in pure Rust. I use it to experiment OS development, which is easer in an newer and simpler architecture than x86.

Minecraft RS - Another Minecraft-related project! This is a work-in-progress crate that provides optimized data structure and codecs for game's internals.

WG Toolkit - A rust toolkit crate providing various codecs for content distributed by Wargaming.net game editor. These codecs are part of the Core engine (previously known as BigWorld) notably used by World of Tanks. I also worked on reversing the network protocol, which is partially implemented in this crate.

Pages

Projet Système de l'Ensimag (french) - Le projet kernel de l'Ensimag consiste en la programmation d'un kernel x86 (32 bits) single-core. Cette page propose une liste d'article concernant des concepts précis.

Granular Kernel (concept) - A conceptual operating system where kernel and user space softwares are both abstracted behind a concept of modules with different privilege levels. This is radically different from Linux, where kernel space is composed of modules and user space of processes (and shared libraries).

Bookmarks

Useful for Rust:

• Rust Language Cheat Sheet
• Rust Language Book
• Rustonomicon Book
• Unsafe Code Guidelines
• Faultlore blog: Aria's Feverdreams
• Rust Playground

Compiler-relayed:

• LLVM Language Reference
• Writing an LLVM backend
• My First Language Frontend

Capability Hardware Enhanced RISC Instructions:

• CHERI homepage
• An introduction to CHERI
• About compressed capabilities
• Arm Morello Program