Skip to content
View james-ngai's full-sized avatar
1 follower · 5 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Shark

Highlights

  • Pro
Block or Report

Block or report james-ngai

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

  • james-ngai.github.io Public

    HTML Updated Jun 19, 2024

  • lamr Public

    Forked from avigad/lamr

    Logic and Mechanized Reasoning

    Lean Updated Feb 13, 2024

  • Allstate-Programs Public

    Hale Insurance

    Python MIT License Updated Dec 20, 2023

  • 11-785-Project Public archive

    Jupyter Notebook Updated Dec 18, 2023

  • DeepSpeed Public

    Forked from microsoft/DeepSpeed

    DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.

    Python Apache License 2.0 Updated Nov 27, 2023

  • tartanhacks Public

    2023 TartanHacks Project

    HTML Updated Feb 4, 2023

  • scottylol Public

    Forked from ScottyLabs/scottylol

    Search bookmarking tool for CMU

    EJS MIT License Updated Oct 12, 2022