Popular repositories Loading

1. analyzer analyzer Public

   Forked from goblint/analyzer

   Static analysis framework for C

   OCaml

2. bachelors-thesis-goblint bachelors-thesis-goblint Public

   Bachelors thesis on static analysis (Goblint)

   TeX

3. goblint-cil goblint-cil Public

   Forked from goblint/cil

   C Intermediate Language

   OCaml 1

4. gr-report-parallel-goblint gr-report-parallel-goblint Public archive

   Report for a Guided Resarch at TUM (Parallel Solver for Goblint)

   TeX

5. masters-thesis-Isabelle masters-thesis-Isabelle Public

   Masters thesis on linearizing datatype in Isabelle/HOL

   TeX

6. report-EMG-Prothese report-EMG-Prothese Public

   TeX