Skip to content
View Nadrieril's full-sized avatar
134 followers · 0 following
  • Inria
  • Paris, France
  • 10:52 (UTC +02:00)

Achievements

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

Achievements

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

Highlights

Organizations

@NixOS @Faerix @rust-lang @dhall-lang @rust-analyzer @AeneasVerif

Block or report Nadrieril

Report abuse

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

Report abuse
Nadrieril/README.md

🔭 About Me

  • I'm a Research Engineer at Inria Paris (France), working on Charon.
  • I'm a contributor to the Rust project and member of the compiler and lang-advisor teams.
    • I specialize in features related to pattern-matching.
  • Check out my blog!

📊 GitHub Stats

📫 Contact

  • For matters related to Rust, I'm @Nadrieril on the Rust Zulip;
  • For matters related to Charon more specifically, I'm @Nadrieril on the AeneasVerif Zulip;
  • For other matters, try my email.

Pinned Loading

  1. AeneasVerif/charon AeneasVerif/charon Public

    Analyze Rust crates without touching compiler internals

    Rust 405 56

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

    Empowering everyone to build reliable and efficient software.

    Rust 117k 15.5k

  3. derive-generic-visitor derive-generic-visitor Public

    Boilerplate for building rust visitors

    Rust 9 3

  4. dhall-rust dhall-rust Public

    Maintainable configuration files, for Rust users

    Rust 339 35

  5. typing-rust-patterns typing-rust-patterns Public

    Rust 11 1

  6. rust-experiments rust-experiments Public

    Rust 1