8000 ndrwnaguib (Andrew Naguib) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ndrwnaguib's full-sized avatar
84 followers · 120 following
  • University of Waterloo
  • Waterloo, ON
  • 06:15 (UTC -04:00)

Achievements

Achievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

Block or report ndrwnaguib

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

Pinned Loading

  1. principia principia Public

    Rewriting Principia Mathematica in Lean

    Lean 128

  2. numpy/numpy numpy/numpy Public

    The fundamental package for scientific computing with Python.

    Python 29.5k 10.8k

  3. Rust-GCC/gccrs Rust-GCC/gccrs Public

    GCC Front-End for Rust

    C++ 2.6k 179

  4. pytorch/pytorch pytorch/pytorch Public

    Tensors and Dynamic neural networks in Python with strong GPU acceleration

    Python 90k 24.2k

  5. facebookresearch/hydra facebookresearch/hydra Public

    Hydra is a framework for elegantly configuring complex applications

    Python 9.3k 683

  6. ds4dm/ecole ds4dm/ecole Public

    Extensible Combinatorial Optimization Learning Environments

    C++ 340 74

0