Léo Lanteri Thauvin's repositories
bootloader
An experimental pure-Rust x86 bootloader
compiler-team
A home for compiler team planning documents, meeting minutes, and other such things.
cycle
Modern and safe symbolic mathematics
inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
linux
Adding support for the Rust language to the Linux kernel.
project-thir-unsafeck
Tracking the project to refactor the unsafe check to operate on THIR
rspirv
Rust implementation of SPIR-V module processing functionalities
rust-by-example
Learn Rust with examples (Live code editor included)
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
rust-forge
Information useful to people contributing to Rust
rustc-guide
A guide to how rustc works and how to contribute to it.
this-week-in-rust
Data for this-week-in-rust.org
untitled-lang
Sources de mon TIPE ENS 2023 : Sémantique d'un langage de programmation impératif en Coq