Léo Lanteri Thauvin (LeSeulArtichaut)

LeSeulArtichaut

Geek Repo

Company:Not looking for a job

Location:France

Github PK Tool:Github PK Tool

Léo Lanteri Thauvin's repositories

bootloader

An experimental pure-Rust x86 bootloader

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

camisole

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

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

chalk

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

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

compiler-team

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

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:1Issues:0

covid-19

COVID-19 Futures, Explained With Playable Simulations

Language:HTMLLicense:CC0-1.0Stargazers:0Issues:1Issues:0

cycle

Modern and safe symbolic mathematics

Language:RustLicense:MITStargazers:0Issues:0Issues:0

epsilon

Modern graphing calculator operating system.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0
Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

highfive

Github hooks to provide an encouraging atmosphere for new contributors

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

inkwell

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

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

iorgen

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

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

linux

Adding support for the Rust language to the Linux kernel.

License:NOASSERTIONStargazers:0Issues:0Issues:0

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ndarray

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

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

project-thir-unsafeck

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

License:Apache-2.0Stargazers:0Issues:1Issues:0

reference

The Rust Reference

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:1Issues:0

rspirv

Rust implementation of SPIR-V module processing functionalities

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rust-by-example

Learn Rust with examples (Live code editor included)

License:Apache-2.0Stargazers:0Issues:1Issues:0

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rust-forge

Information useful to people contributing to Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rustc-guide

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

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:1Issues:0

rustfix

Automatically apply the suggestions made by rustc

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

stechec2

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

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

team

Rust teams structure

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

this-week-in-rust

Data for this-week-in-rust.org

Language:HTMLStargazers:0Issues:1Issues:0

triagebot

Triage Bot

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

twilight

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

Language:RustLicense:ISCStargazers:0Issues:1Issues:0

untitled-lang

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

Language:CoqStargazers:0Issues:1Issues:0