Block or Report
Block or report VitoJanko
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
dedekind-reals
dedekind-reals PublicForked from andrejbauer/dedekind-reals
A formalization of the Dedekind reals in Coq
Coq
-
-
Energy-Efficient-Context-Recognition
Energy-Efficient-Context-Recognition PublicThis library help to automatically optimize the settings of a context recognition project in order to make it more energy-efficient.
Python
-
COVID-19
COVID-19 PublicForked from CSSEGISandData/COVID-19
Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
-
Heartman-ExtractedDSS
Heartman-ExtractedDSS PublicExtracting Heartman DSS logic for it to be implemented in the HeartmanLite application
Java
If the problem persists, check the GitHub status page or contact support.