Repositories
LeSeulArtichaut/bootloader
An experimental pure-Rust x86 bootloader
LeSeulArtichaut/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
LeSeulArtichaut/untitled-lang
Sources de mon TIPE ENS 2023 : Sémantique d'un langage de programmation impératif en Coq
LeSeulArtichaut/rust-linting
LeSeulArtichaut/rust
Empowering everyone to build reliable and efficient software.
LeSeulArtichaut/rspirv
Rust implementation of SPIR-V module processing functionalities
LeSeulArtichaut/iorgen
Iorgen is a multi languages code generator to parse a predefined input template
LeSeulArtichaut/camisole
Secure online judge for CS teachers, programming websites and contests.
LeSeulArtichaut/cycle
Modern and safe symbolic mathematics
LeSeulArtichaut/rust-by-example
Learn Rust with examples (Live code editor included)
LeSeulArtichaut/linux
Adding support for the Rust language to the Linux kernel.
LeSeulArtichaut/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
LeSeulArtichaut/twilight
Powerful, flexible, and scalable ecosystem of Rust libraries for the Discord API.
LeSeulArtichaut/stechec2
Client-server AI match maker used for the French national programming contest Prologin.
LeSeulArtichaut/highfive
Github hooks to provide an encouraging atmosphere for new contributors
LeSeulArtichaut/ndarray
ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations
LeSeulArtichaut/project-thir-unsafeck
Tracking the project to refactor the unsafe check to operate on THIR
LeSeulArtichaut/rustfix
Automatically apply the suggestions made by rustc
LeSeulArtichaut/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
LeSeulArtichaut/compiler-team
A home for compiler team planning documents, meeting minutes, and other such things.
LeSeulArtichaut/triagebot
Triage Bot
LeSeulArtichaut/rustc-guide
A guide to how rustc works and how to contribute to it.
LeSeulArtichaut/this-week-in-rust
Data for this-week-in-rust.org
LeSeulArtichaut/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
LeSeulArtichaut/miri
An interpreter for Rust's mid-level intermediate representation
LeSeulArtichaut/rust-analyzer
An experimental Rust compiler front-end for IDEs
LeSeulArtichaut/covid-19
COVID-19 Futures, Explained With Playable Simulations
LeSeulArtichaut/glacier
A big 'ol pile of ICE.
LeSeulArtichaut/octocrab
A modern, extensible GitHub API Client for Rust.