Skip to content
View Nadrieril's full-sized avatar
  • Inria
  • Paris, France
  • 09:01 (UTC +01:00)
  • X @nadrieril

Sponsoring

@CleanCut

Organizations

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

Block or report Nadrieril

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 Loading

  1. dhall-rust dhall-rust Public

    Maintainable configuration files, for Rust users

    Rust 306 27

  2. pest_consume pest_consume Public

    A framework for processing the output of a pest-generated parser

    Rust 47 6

  3. xmonad-config xmonad-config Public archive

    Custom xmonad config and libs

    Haskell 8

  4. nixos-deploy nixos-deploy Public

    A remote deployment tool for NixOS systems

    Nix 6 1

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

    Rust 4

  6. taffybar-config taffybar-config Public

    Haskell 2