Popular repositories Loading
-
closedfish-CSE201-
closedfish-CSE201- PublicForked 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++
-
Nim-CSE203-
Nim-CSE203- PublicDemonstration of the existence of a winning strategy in Nim in Coq
Coq
-
Text-Shazam-CSE204-
Text-Shazam-CSE204- PublicML project to predict artist based on lyrics
Jupyter Notebook
-
-
Logic-CSE303-
Logic-CSE303- PublicResearch Project on the bijections between rooted planar maps, normal planar lambda terms, and ordered linear logic
Haskell
-
Compilers-CSE302-
Compilers-CSE302- PublicForked from Xnartharax/CSE302Compilers
Compiler for the BX language in Python
Python
If the problem persists, check the GitHub status page or contact support.

