EDI-Systems/M5P01_Prokaron external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

EDI-Systems/M5P01_Prokaron

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/EDI-Systems/M5P01_Prokaron)

Close

EDI-Systems / M5P01_ProkaronView on GitHubMore

• External links
• Readme badge

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

☆171Jun 8, 2025Updated 8 months ago

Alternatives and similar repositories for M5P01_Prokaron

Users that are interested in M5P01_Prokaron are comparing it to the libraries listed below

• EDI-Systems / M7M02_Ammonite

  View on GitHub
  A virtual machine monitor for MCUs, as well as a MCU-oriented user-level library for M7M01.
  ☆16Jun 20, 2025Updated 8 months ago
• EDI-Systems / M2A01_Simpron

  View on GitHub
  Small yet powerful state machine coroutine library
  ☆39May 27, 2024Updated last year
• EDI-Systems / M7M01_Eukaron

  View on GitHub
  An microkernel focusing on hyperadaptability, hyperreusability, and hyperdeployability.
  ☆93Jun 9, 2025Updated 8 months ago
• EDI-Systems / G2T01_GeCov

  View on GitHub
  Simple general-purpose embedded system code coverage test tool
  ☆47Jul 17, 2018Updated 7 years ago
• dukelec / cdnet

  View on GitHub
  CDNET Protocol and CDBUS / CDNET C Library (The library is MCU-oriented.)
  ☆138Updated this week
• eboxmaker / eBox_Framework

  View on GitHub
  ebox是类似于arduino的一层api，简化stm32编程
  ☆211Jul 23, 2023Updated 2 years ago
• ART-6LoWPAN / art-6lowpan

  View on GitHub
  ART-6LoWPAN project source code, design, tutorial and others docs | ART-6LoWPAN 开源项目的源码、设计、教程及其他文档
  ☆186Sep 3, 2018Updated 7 years ago
• armink / EasyFlash

  View on GitHub
  Lightweight IoT device information storage solution: KV/IAP/LOG. | 轻量级物联网设备信息存储方案：参数存储、在线升级及日志存储 ，全新一代版本请移步至 https://github.com/armink/Fl…
  ☆2,270Mar 14, 2025Updated 11 months ago
• notrynohigh / BabyOS

  View on GitHub
  专为MCU项目开发提速的代码框架
  ☆374Feb 20, 2026Updated last week
• notrynohigh / bMenu

  View on GitHub
  A Common frame for menu
  ☆12Mar 6, 2018Updated 7 years ago
• mcushilei / UCPF

  View on GitHub
  Universal Cross-Platform Framework
  ☆11Jan 1, 2024Updated 2 years ago
• GorgonMeducer / Generic_MCU_Software_Infrastructure

  View on GitHub
  Provide necessary software infrastructure, service, macros to support some high level abstract concept or paradigm, such as OOPC, FSM, de…
  ☆209Mar 9, 2024Updated last year
• 15307505 / SWD_IAP

  View on GitHub
  ARM内核简易烧录装置
  ☆37Apr 15, 2020Updated 5 years ago
• Kevincoooool / AltiumDesigner_PcbLibrary_3D

  View on GitHub
  3D package library collection
  ☆75Oct 23, 2018Updated 7 years ago
• BernardXiong / K210

  View on GitHub
  Kendryte K210 BSP for RT-Thread
  ☆16Dec 23, 2018Updated 7 years ago
• GorgonMeducer / PLOOC

  View on GitHub
  Protected Low-overhead Object Oriented Programming with ANSI-C
  ☆409Jul 6, 2025Updated 7 months ago
• vsfteam / vsf

  View on GitHub
  Versaloon Software Framework -- a tiny preemptive-capable event-driven incremental software framework for embedded systems
  ☆327Feb 17, 2026Updated 2 weeks ago
• armink / CmBacktrace

  View on GitHub
  Advanced fault backtrace library for ARM Cortex-M series MCU | ARM Cortex-M 系列 MCU 错误追踪库
  ☆2,025Feb 27, 2025Updated last year
• murphyzhao / FlexibleButton

  View on GitHub
  灵活的按键处理库（Flexible Button）| 按键驱动 | 支持单击、双击、连击、长按、自动消抖 | 灵活适配中断和低功耗 | 按需实现组合按键
  ☆868May 20, 2023Updated 2 years ago
• aleyn / Crab

  View on GitHub
  CRAB is a virtual machine platform for embedded microcontroller systems.
  ☆50Sep 24, 2018Updated 7 years ago
• XIVN1987 / MCUProg

  View on GitHub
  MCU programmer for J-LINK and DAPLink, using Keil MDK's *.FLM Flashing Algorithm
  ☆175Sep 13, 2025Updated 5 months ago
• achimdoebler / UGUI

  View on GitHub
  µGUI - Open Source GUI module for embedded systems
  ☆1,345Oct 29, 2023Updated 2 years ago
• ForeverRemember / NUC972-freeRTOS-LWIP

  View on GitHub
  移植LWIP，支持freeRTOS和socket编程
  ☆10Mar 8, 2019Updated 6 years ago
• djyos / djyos

  View on GitHub
  djyos is an open source rtos for high reliability embedded system from China.
  ☆43Mar 7, 2017Updated 8 years ago
• HiFiPhile / IAR_Gen

  View on GitHub
  Generic project generator for IAR
  ☆27Jan 10, 2020Updated 6 years ago
• RT-Thread-packages / samples

  View on GitHub
  RT-Thread kernel and components samples.
  ☆18Jan 4, 2019Updated 7 years ago
• liuxuming / trochili

  View on GitHub
  A small RTOS optimized for the embedded/iot devices. Support Cortex M
  ☆133Apr 17, 2017Updated 8 years ago
• GorgonMeducer / Pico_Template

  View on GitHub
  An MDK template for Raspberry Pi Pico
  ☆219Aug 8, 2025Updated 6 months ago
• QuantumLeaps / qpn

  View on GitHub
  QP-nano real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines
  ☆177May 5, 2023Updated 2 years ago
• jorya / raw-os

  View on GitHub
  raw-os
  ☆82Oct 19, 2015Updated 10 years ago
• feaser / openblt

  View on GitHub
  Official read-only mirror of the SVN OpenBLT bootloader repository. Updated daily.
  ☆858Updated this week
• armink / SFUD

  View on GitHub
  An using JEDEC's SFDP standard serial (SPI) flash universal driver library | 一款使用 JEDEC SFDP 标准的串行 (SPI) Flash 通用驱动库
  ☆1,564May 30, 2025Updated 9 months ago
• dukelec / cdipc

  View on GitHub
  A Real-time Inter-Process Communication (IPC) mechanism and library
  ☆28Mar 15, 2021Updated 4 years ago
• jiejieTop / cmd-parser

  View on GitHub
  一个非常简单好用的命令解析器，占用资源极少极少，采用哈希算法超快匹配命令！
  ☆344Feb 29, 2024Updated 2 years ago
• dukelec / cdbus_bridge

  View on GitHub
  USB to RS-485 (CDBUS) Converter
  ☆40Updated this week
• tomzbj / zboot

  View on GitHub
  Generic STM32 serial bootloader, with a simple command-line interface
  ☆161Feb 25, 2023Updated 3 years ago
• JianRuiqian / marvellwifi

  View on GitHub
  Marvell WiFi driver for rt-thread
  ☆19Mar 24, 2020Updated 5 years ago
• leijian001 / sm

  View on GitHub
  SM是一个状态机库的C语言实现，支持FSM和HSM。该库参考了QP-nano。
  ☆104Mar 24, 2016Updated 9 years ago
• armink / struct2json

  View on GitHub
  A fast convert library between the JSON and C structure. Implement structure serialization and deserialization for C. | C 结构体与 JSON 快速互转库…
  ☆716Jan 7, 2022Updated 4 years ago