Skip to content
View LeSeulArtichaut's full-sized avatar
  • Not looking for a job
  • France
  • 18:26 (UTC +01:00)

Block or report LeSeulArtichaut

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • reference Public

    Forked from rust-lang/reference

    The Rust Reference

    HTML Apache License 2.0 Updated Feb 21, 2025
  • Java GNU General Public License v3.0 Updated Apr 28, 2024
  • An experimental pure-Rust x86 bootloader

    Rust Apache License 2.0 Updated Feb 28, 2024
  • inkwell Public

    Forked from TheDan64/inkwell

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

    Rust Apache License 2.0 Updated Jan 23, 2024
  • Sources de mon TIPE ENS 2023 : Sémantique d'un langage de programmation impératif en Coq

    Coq Updated Jun 28, 2023
  • rust Public

    Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust Other Updated May 17, 2023
  • rust-linting Public

    Forked from rust-marker/marker
    Rust Apache License 2.0 Updated Aug 5, 2022
  • stechec2 Public

    Forked from prologin/stechec2

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

    Python GNU General Public License v2.0 Updated Jun 13, 2022
  • cycle Public

    Forked from hrkz/cycle

    Modern and safe symbolic mathematics

    Rust MIT License Updated Mar 9, 2022
  • linux Public

    Forked from Rust-for-Linux/linux

    Adding support for the Rust language to the Linux kernel.

    C Other Updated Feb 2, 2022
  • rspirv Public

    Forked from gfx-rs/rspirv

    Rust implementation of SPIR-V module processing functionalities

    Rust Apache License 2.0 Updated Feb 2, 2022
  • iorgen Public

    Forked from prologin/iorgen

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

    Python GNU General Public License v3.0 Updated Dec 11, 2021
  • camisole Public

    Forked from prologin/camisole

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

    Python Other Updated Dec 6, 2021
  • chalk Public

    Forked from rust-lang/chalk

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

    Rust Other Updated Nov 29, 2021
  • ndarray Public

    Forked from rust-ndarray/ndarray

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

    Rust Apache License 2.0 Updated Oct 28, 2021
  • twilight Public

    Forked from twilight-rs/twilight

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

    Rust ISC License Updated Oct 10, 2021
  • team Public

    Forked from rust-lang/team

    Rust teams structure

    Rust Apache License 2.0 Updated Aug 31, 2021
  • highfive Public

    Forked from rust-lang/highfive

    Github hooks to provide an encouraging atmosphere for new contributors

    Python Apache License 2.0 Updated Aug 25, 2021
  • covid-19 Public

    Forked from cyrilou242/covid-19

    COVID-19 Futures, Explained With Playable Simulations

    HTML Creative Commons Zero v1.0 Universal Updated Aug 25, 2021
  • A bunch of lints to catch common mistakes and improve your Rust code

    Rust Other Updated Aug 11, 2021
  • Learn Rust with examples (Live code editor included)

    Apache License 2.0 Updated Jul 23, 2021
  • A guide to how rustc works and how to contribute to it.

    HTML Apache License 2.0 Updated Mar 11, 2021
  • Tracking the project to refactor the unsafe check to operate on THIR

    Apache License 2.0 Updated Feb 24, 2021
  • miri Public

    Forked from rust-lang/miri

    An interpreter for Rust's mid-level intermediate representation

    Rust Apache License 2.0 Updated Jan 17, 2021
  • rustfix Public

    Forked from rust-lang/rustfix

    Automatically apply the suggestions made by rustc

    Rust Apache License 2.0 Updated Dec 14, 2020
  • rust-forge Public

    Forked from rust-lang/rust-forge

    Information useful to people contributing to Rust

    Rust Apache License 2.0 Updated Dec 12, 2020
  • A home for compiler team planning documents, meeting minutes, and other such things.

    HTML Apache License 2.0 Updated Nov 9, 2020
  • triagebot Public

    Forked from rust-lang/triagebot

    Triage Bot

    Rust Apache License 2.0 Updated Oct 22, 2020
  • epsilon Public

    Forked from numworks/epsilon

    Modern graphing calculator operating system.

    C++ Other Updated Sep 27, 2020
  • Data for this-week-in-rust.org

    HTML Updated Sep 14, 2020