Skip to content
View mbeckersys's full-sized avatar

Organizations

@mathworks @TRDDC-TUM @tum-ei-rcs @mathworks-ref-arch

Block or report mbeckersys

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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