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.
MC173 — This is an implementation of a Minecraft beta 1.7.3 server, this version is old enough for the project to be realistically doable by a single person. The interaction of the Rust ownership and borrow-checker with a game loop is a really interesting an complex challenge.
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.
Embedded Rust Experiment — 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.
RETK — Still WIP and for fun. Reverse Engineering Toolkit written in Rust. Aims to experiment decompilation to pseudo code with automatic structure type reconstruction.
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).
Useful for Rust:
- Rust Language Cheat Sheet
- Rust Language Book
- Rustonomicon Book
- Unsafe Code Guidelines
- Faultlore blog: Aria's Feverdreams
- Rust Playground
Capability Hardware Enhanced RISC Instructions: