Pinned Repositories
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
cbmc
C Bounded Model Checker
gnat2goto
GNAT 2 GOTO Converter
gnatprove_unitstats
Python script generating a human- or machine-readable per-unit summary of GNATprove runs
MavLogAnalyzer
GUI to parse, display, filter, export and store flight logs of MavLink, APM:Pilot, Pixhawk etc.
otawa-wcet-mod
Modified version of OTAWA v1 WCET tools, incl. ARM-ish simulator
responsive-timeline-json
CSS3+JS timeline which reads data from a JSON object
spark2014-cheat-sheet
A mini cheat sheet for SPARK 2014 beginners in LaTeX
valgrind-ws
Valgrind tool/plugin to calculate the working set
xscreensaver-bigclock
It is a minimalist digital clock screensaver for xscreensaver. Just that.
mbeckersys's Repositories
mbeckersys/spark2014-cheat-sheet
A mini cheat sheet for SPARK 2014 beginners in LaTeX
mbeckersys/MavLogAnalyzer
GUI to parse, display, filter, export and store flight logs of MavLink, APM:Pilot, Pixhawk etc.
mbeckersys/xscreensaver-bigclock
It is a minimalist digital clock screensaver for xscreensaver. Just that.
mbeckersys/gnatprove_unitstats
Python script generating a human- or machine-readable per-unit summary of GNATprove runs
mbeckersys/otawa-wcet-mod
Modified version of OTAWA v1 WCET tools, incl. ARM-ish simulator
mbeckersys/valgrind-ws
Valgrind tool/plugin to calculate the working set
mbeckersys/responsive-timeline-json
CSS3+JS timeline which reads data from a JSON object
mbeckersys/Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
mbeckersys/cbmc
C Bounded Model Checker
mbeckersys/gnat2goto
GNAT 2 GOTO Converter
mbeckersys/pmu-tools
Intel PMU profiling tools
mbeckersys/simulavr-mod
Improved version of cycle-accurate simulator for AVR devices
mbeckersys/webhook-test