Skip to content
View AarryaSaraf's full-sized avatar

Block or report AarryaSaraf

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. closedfish-CSE201- closedfish-CSE201- Public

    Forked from closedfish/closedfish

    Chess engine specialized in closed positions. Also includes an AI to detect a closed "enough" position, openCV to read a board and also make the move on websites such as chess.com

    C++

  2. Nim-CSE203- Nim-CSE203- Public

    Demonstration of the existence of a winning strategy in Nim in Coq

    Coq

  3. Text-Shazam-CSE204- Text-Shazam-CSE204- Public

    ML project to predict artist based on lyrics

    Jupyter Notebook

  4. JPEG-CSE102- JPEG-CSE102- Public

    Jpeg compression of images in Python

    Python

  5. Logic-CSE303- Logic-CSE303- Public

    Research Project on the bijections between rooted planar maps, normal planar lambda terms, and ordered linear logic

    Haskell

  6. Compilers-CSE302- Compilers-CSE302- Public

    Forked from Xnartharax/CSE302Compilers

    Compiler for the BX language in Python

    Python