Popular repositories Loading

1. VitoJanko.github.io VitoJanko.github.io Public

   HTML 1

2. dedekind-reals dedekind-reals Public

   Forked from coq-community/dedekind-reals

   A formalization of the Dedekind reals in Coq

   Coq

3. LVR_VEK1 LVR_VEK1 Public

   SAT solver

   Python

4. Energy-Efficient-Context-Recognition Energy-Efficient-Context-Recognition Public

   This library help to automatically optimize the settings of a context recognition project in order to make it more energy-efficient.

   Python

5. COVID-19 COVID-19 Public

   Forked from CSSEGISandData/COVID-19

   Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

6. Heartman-ExtractedDSS Heartman-ExtractedDSS Public

   Extracting Heartman DSS logic for it to be implemented in the HeartmanLite application

   Java