Skip to content
View redmie's full-sized avatar
0 followers · 1 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report redmie

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

Popular repositories

  1. sep_score_proto sep_score_proto Public

    Toy parser for protocol cost evalution (M2 SEP class)

    Rust 1

  2. L3_prog1_projet0 L3_prog1_projet0 Public

    Project 0 (prog1) Hanoi/Penrose

    TeX

  3. pedago-rennes pedago-rennes Public

    Forked from InfoSansOrdi/pedago-rennes

    Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes

    JavaScript 1

  4. anki-sync-server-rs anki-sync-server-rs Public

    Forked from ankicommunity/anki-sync-server-rs

    A personal custom Anki sync server,aim to provide an easier way for deployment

    Rust

  5. pyo3-built pyo3-built Public

    Forked from PyO3/pyo3-built

    Expose build variables obtained with built as a PyDict

    Rust

  6. LightZero LightZero Public

    Forked from opendilab/LightZero

    LightZero: A lightweight and efficient MCTS/AlphaZero/MuZero algorithm toolkit.

    Python