Popular repositories Loading

1. spark2014-cheat-sheet spark2014-cheat-sheet Public

   A mini cheat sheet for SPARK 2014 beginners in LaTeX

   TeX 9 2

2. xscreensaver-bigclock xscreensaver-bigclock Public

   It is a minimalist digital clock screensaver for xscreensaver. Just that.

   C++ 7 1

3. MavLogAnalyzer MavLogAnalyzer Public

   GUI to parse, display, filter, export and store flight logs of MavLink, APM:Pilot, Pixhawk etc.

   C++ 6 4

4. gnatprove_unitstats gnatprove_unitstats Public

   Python script generating a human- or machine-readable per-unit summary of GNATprove runs

   Python 3 1

5. valgrind-ws valgrind-ws Public

   Valgrind tool/plugin to calculate the working set

   C 2 1

6. otawa-wcet-mod otawa-wcet-mod Public

   Modified version of OTAWA v1 WCET tools, incl. ARM-ish simulator

   C 2 2