Memory protected microkernel realtime operating system for microcontrollers without MMU.
☆117Feb 24, 2026Updated last week
Alternatives and similar repositories for cmrx
Users that are interested in cmrx are comparing it to the libraries listed below
Sorting:
- Minimalistic thread switcher for ARM Cortex-M cores available in C and C++☆24Feb 10, 2023Updated 3 years ago
- This is a simple bootloader for Tiva C TM4C123G (ARM Cortex-M4F based microcontroller). UART is used as a communication channel.☆26Sep 13, 2021Updated 4 years ago
- An implementation for the open some/ip spec.☆22Updated this week
- Learning operating system and kernel development by building a multithreaded OS called ToyOS☆16Jul 13, 2025Updated 7 months ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 2 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- ☆17Mar 29, 2025Updated 11 months ago
- OSEK (ECC1/BCC1) Implementation for Cortex™-M3☆35May 17, 2023Updated 2 years ago
- asmeta main repository with code and examples☆23Feb 23, 2026Updated last week
- CFSM - A State Design Pattern for State Machines in C-Language.☆23Oct 30, 2025Updated 4 months ago
- ☆42May 8, 2023Updated 2 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆24Apr 1, 2023Updated 2 years ago
- Startup code for an STM32 microcontroller written in C as demo for a YouTube video.☆22Nov 3, 2024Updated last year
- PID auto tuning using Ziegler–Nichols method☆21Feb 12, 2026Updated 3 weeks ago
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆21May 11, 2023Updated 2 years ago
- Port of popular Doom game to run on NXP MCX microcontrollers.☆27Mar 23, 2025Updated 11 months ago
- SafeAuto Core Platform based on Cpp-17☆14Aug 15, 2025Updated 6 months ago
- ☆11Mar 31, 2025Updated 11 months ago
- ☆22Nov 6, 2023Updated 2 years ago
- An active object messaging framework for microcontrollers in C☆26Jun 29, 2022Updated 3 years ago
- A guide/example project for JTAG debugging on the ESP32 with VS Code using openocd.☆23Mar 16, 2019Updated 6 years ago
- Work Stealing Threadpool in a C Header☆24Sep 24, 2025Updated 5 months ago
- My C libraries☆26Sep 1, 2025Updated 6 months ago
- ☆25Nov 18, 2024Updated last year
- Hardware-agnostic USB to CAN adapter firmware☆148Updated this week
- sump3 logic analyzer☆41Feb 2, 2026Updated last month
- Argon RTOS: tiny embedded C/C++ RTOS for Cortex-M☆71Dec 18, 2021Updated 4 years ago
- Bare metal STM32F411 (black pill) programming☆34Oct 26, 2024Updated last year
- C++20 coroutine runtime and cross-platform I/O library☆35Aug 26, 2024Updated last year
- Pascal to C++ converter☆34Dec 12, 2022Updated 3 years ago
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆36Nov 16, 2025Updated 3 months ago
- basic example of litex on colorLight 5A-75B based on fpga_101/lab004☆38Jan 11, 2023Updated 3 years ago
- Wrapping FreeRTOS in modern C++ classes☆39Dec 3, 2025Updated 3 months ago
- My personal site.☆10Feb 23, 2026Updated last week
- Sample code for 3rd party developers working on Android On Snapdragon☆12Sep 4, 2024Updated last year
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- Semaphore kernel Samsung Galaxy I9000☆13Apr 17, 2012Updated 13 years ago
- CodeRED is an app that can help people to send an instant emergency and distress calls or text messages to a large number of people even …☆10Jul 24, 2022Updated 3 years ago
- This library allows for the configuration, writing, and reading of the 8 ADC/DAC channels of the AD5593R by analog instruments.☆12Feb 16, 2021Updated 5 years ago