Skip to content
View rami3l's full-sized avatar
🐟
Cramming into the Métro...
🐟
Cramming into the Métro...
278 followers · 368 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Organizations

@rust-lang

Block or report rami3l

Report abuse

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

Report abuse
rami3l/README.md

Hi there 👋

  • He/Him
  • 中文/English/Français
  • Specialized in Computer Science @ Centrale Nantes/Pékin
  • Interested in Systems Programming and Developer Tooling
  • Project Member @ Rust (2023 -)
  • Rustup Maintainer (2023 -) & Team Lead (2025 -)

Pinned Loading

  1. rust-lang/rustup rust-lang/rustup Public

    The Rust toolchain installer

    Rust 6.7k 1k

  2. rust-lang/rust-analyzer rust-lang/rust-analyzer Public

    A Rust compiler front-end for IDEs

    Rust 15.8k 1.9k

  3. pacaptr pacaptr Public

    Pacman-like syntax wrapper for many package managers.

    Rust 403 11

  4. clavy clavy Public

    An input source switching daemon for macOS.

    Rust 22 2

  5. Pangpang-Studio/monoxide Pangpang-Studio/monoxide Public

    [WIP] A typeface formed out of oxidation.

    Rust 1

  6. PLFaLean PLFaLean Public

    Learn Lean 4 with PLFA proofs.

    Lean 99 7