Skip to content
View mbeckersys's full-sized avatar
11 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

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

  • zephyr Public

    Forked from zephyrproject-rtos/zephyr

    Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

    C Apache License 2.0 Updated Dec 21, 2024

  • webhook-test Public

    Updated Oct 13, 2020

  • otawa-wcet-mod Public

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

    C 2 2 GNU General Public License v2.0 Updated Jun 14, 2019

  • simulavr-mod Public

    Improved version of cycle-accurate simulator for AVR devices

    C++ GNU General Public License v2.0 Updated Jun 14, 2019

  • valgrind-ws Public

    Valgrind tool/plugin to calculate the working set

    C 2 2 GNU General Public License v3.0 Updated Nov 9, 2018

  • pmu-tools Public

    Forked from andikleen/pmu-tools

    Intel PMU profiling tools

    Python GNU General Public License v2.0 Updated Oct 24, 2018

  • cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    C++ Other Updated Mar 5, 2018

  • spark2014-cheat-sheet Public

    A mini cheat sheet for SPARK 2014 beginners in LaTeX

    TeX 9 2 MIT License Updated Dec 6, 2017

  • MavLogAnalyzer Public

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

    C++ 7 4 GNU General Public License v3.0 Updated Oct 13, 2017

  • gnat2goto Public

    Forked from diffblue/gnat2goto

    GNAT 2 GOTO Converter

    Ada Updated Aug 5, 2017

  • gnatprove_unitstats Public

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

    Python 3 1 MIT License Updated May 23, 2017

  • responsive-timeline-json Public

    CSS3+JS timeline which reads data from a JSON object

    JavaScript 1 Updated May 9, 2017

  • xscreensaver-bigclock Public

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

    C++ 7 1 GNU General Public License v3.0 Updated Mar 12, 2017

  • Ada_Drivers_Library Public

    Forked from AdaCore/Ada_Drivers_Library

    Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

    Ada Updated Aug 15, 2016