Popular repositories Loading

1. hawkbot hawkbot Public

   Kotlin 1

2. c-dead-code-analyser c-dead-code-analyser Public

   Research thesis based on an existing research conserning general dead code detection. This program will convert a given c code file into a one clock automaton, ready for further analysis.

   Python 1

3. Analysis-of-Focal-Methods-using-Intermediary-LLVM Analysis-of-Focal-Methods-using-Intermediary-LLVM Public

   A proof of concept that is used to analyse the methods under test for a given test suite by using focal methods.

   LLVM 1

4. microservices microservices Public

   HTML

5. stride stride Public

   Forked from broeckho/stride

   Simulator for the Transmission of Infectious Diseases

   C++

6. example-python example-python Public

   Forked from codecov/example-python

   Python coverage example

   Python