Skip to content
View EDI-Systems's full-sized avatar
🌴
On vacation
🌴
On vacation
Block or Report

Block or report EDI-Systems

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

Pinned

  1. M5P01_MuProkaron M5P01_MuProkaron Public

    A tiny real-time kernel focusing on formal reliability and simplicity.

    C 152 70

  2. M2A01_MuSimpron M2A01_MuSimpron Public

    Small yet powerful state machine coroutine library

    C 36 16

  3. G2T01_GeCov G2T01_GeCov Public

    Simple general-purpose embedded system code coverage test tool

    C 48 21

  4. M0P00_Library M0P00_Library Public

    Libraries to use with M5P1

    C 5 5

  5. M7M01_MuEukaron M7M01_MuEukaron Public

    An capability-based microkernel general-purpose operating system focusing on scalability, predictability, mixed-criticality and recoverability. THIS PROJECT IS IN PREVIEW STATE CURRENTLY

    C 81 31

  6. M7M02_MuAmmonite M7M02_MuAmmonite Public

    A virtual machine monitor for MCUs, as well as a MCU-oriented user-level library for M7M1.

    Assembly 11 7