Block or Report
Block or report cogrpar
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
SVVSDICAI/fishNET-documentation
SVVSDICAI/fishNET-documentation Publicdocumentation to recreate the fishnet system
-
Physlib
Physlib PublicPhyslib is an active project where I keep track of theorems used to derive physical laws from basic assumptions within physics theories.
Lean
-
TheoremMap
TheoremMap PublicThe lean 4 theorem map is a snapshot of the lean 4 theorem proof assistant and the mathlib 4 library expressed as a derivation graph.
Python
-
Qonic-Team/qonic
Qonic-Team/qonic PublicThe Qonic project is an open source, expandable framework for solving problems using hybrid quantum computing solutions. The base library includes tools for defining optimization problems to be run…
Python
-
Hill_Climb_Racing_AI
Hill_Climb_Racing_AI PublicAn AI that can play the game hill climb racing
If the problem persists, check the GitHub status page or contact support.