LeSeulArtichaut

bootloader

An experimental pure-Rust x86 bootloader

camisole

Secure online judge for CS teachers, programming websites and contests.

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

compiler-team

A home for compiler team planning documents, meeting minutes, and other such things.

covid-19

COVID-19 Futures, Explained With Playable Simulations

cycle

Modern and safe symbolic mathematics

epsilon

Modern graphing calculator operating system.

hackmerlin.io

highfive

Github hooks to provide an encouraging atmosphere for new contributors

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

iorgen

Iorgen is a multi languages code generator to parse a predefined input template

linux

Adding support for the Rust language to the Linux kernel.

miri

An interpreter for Rust's mid-level intermediate representation

ndarray

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

project-thir-unsafeck

Tracking the project to refactor the unsafe check to operate on THIR

reference

The Rust Reference

rspirv

Rust implementation of SPIR-V module processing functionalities

rust

Empowering everyone to build reliable and efficient software.

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

rust-linting

rustc-guide

A guide to how rustc works and how to contribute to it.

rustfix

Automatically apply the suggestions made by rustc

stechec2

Client-server AI match maker used for the French national programming contest Prologin.

team

Rust teams structure

this-week-in-rust

Data for this-week-in-rust.org

triagebot

Triage Bot

twilight

Powerful, flexible, and scalable ecosystem of Rust libraries for the Discord API.

untitled-lang

Sources de mon TIPE ENS 2023 : Sémantique d'un langage de programmation impératif en Coq