LeSeulArtichaut
Full-time Rust enthusiast. A beautiful artichoke the rest of the time.
Not looking for a jobFrance
Pinned Repositories
alloc-cortex-m
A heap allocator for Cortex-M processors
arm-dcc
Debug Communication Channel (DCC) API
awesome-embedded-rust
Curated list of resources for Embedded and Low-level development in the Rust programming language
bare-metal
Abstractions common to microcontrollers
blog
The Rust Embedded WG Blog
book
The Rust Programming Language
book-1
Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices
rust
Empowering everyone to build reliable and efficient software.
LeSeulArtichaut's Repositories
LeSeulArtichaut/bootloader
An experimental pure-Rust x86 bootloader
LeSeulArtichaut/camisole
Secure online judge for CS teachers, programming websites and contests.
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/covid-19
COVID-19 Futures, Explained With Playable Simulations
LeSeulArtichaut/cycle
Modern and safe symbolic mathematics
LeSeulArtichaut/epsilon
Modern graphing calculator operating system.
LeSeulArtichaut/hackmerlin.io
LeSeulArtichaut/highfive
Github hooks to provide an encouraging atmosphere for new contributors
LeSeulArtichaut/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
LeSeulArtichaut/iorgen
Iorgen is a multi languages code generator to parse a predefined input template
LeSeulArtichaut/linux
Adding support for the Rust language to the Linux kernel.
LeSeulArtichaut/miri
An interpreter for Rust's mid-level intermediate representation
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/reference
The Rust Reference
LeSeulArtichaut/rspirv
Rust implementation of SPIR-V module processing functionalities
LeSeulArtichaut/rust
Empowering everyone to build reliable and efficient software.
LeSeulArtichaut/rust-by-example
Learn Rust with examples (Live code editor included)
LeSeulArtichaut/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
LeSeulArtichaut/rust-forge
Information useful to people contributing to Rust
LeSeulArtichaut/rust-linting
LeSeulArtichaut/rustc-guide
A guide to how rustc works and how to contribute to it.
LeSeulArtichaut/rustfix
Automatically apply the suggestions made by rustc
LeSeulArtichaut/stechec2
Client-server AI match maker used for the French national programming contest Prologin.
LeSeulArtichaut/team
Rust teams structure
LeSeulArtichaut/this-week-in-rust
Data for this-week-in-rust.org
LeSeulArtichaut/triagebot
Triage Bot
LeSeulArtichaut/twilight
Powerful, flexible, and scalable ecosystem of Rust libraries for the Discord API.
LeSeulArtichaut/untitled-lang
Sources de mon TIPE ENS 2023 : Sémantique d'un langage de programmation impératif en Coq