SuperTinyKernel RTOS is a lightweight, high-performance, deterministic, bare-metal C++ RTOS for resource-constrained embedded systems based on ARM Cortex-M and RISC-V MCUs. Includes x86 emulator. 100% code coverage with automated unit tests.
☆37Oct 7, 2026Updated this week
Alternatives and similar repositories for stk
Users that are interested in stk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Portable four-parameter vital signs monitor (ECG, SpO2, temperature, respiration) built on ESP32. Biomedical engineering bachelor's proje…☆18Jul 9, 2026Updated 3 months ago
- Track and analyze binary size and memory footprint in embedded firmware☆45Updated this week
- ☆22Jun 10, 2026Updated 4 months ago
- Simple peripheral library for CH55x microcontrolles☆16May 4, 2021Updated 5 years ago
- 💾 FreeRTOS port for the NEORV32 RISC-V Processor.☆16Oct 2, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- wolfHAL is a lightweight hardware abstraction layer for embedded targets written in C☆23Sep 21, 2026Updated 2 weeks ago
- AVR CPU Core Implementation in Verilog HDL.☆15Oct 28, 2018Updated 7 years ago
- Board Package for Logic Green☆25Mar 2, 2025Updated last year
- This is a library for talking to the MAX11300 from any Arduino.☆10Jun 15, 2018Updated 8 years ago
- Distributed Earthquake Early Warning (EEW) system built on low-cost ESP32-C3 IoT sensors with Zero-Trust security, multi-node epicenter t…☆21Updated this week
- A browser-based IDE for CircuitPython supported microcontrollers. No installation needed. Handy and powerful.☆16Sep 13, 2026Updated 3 weeks ago
- Arduino core for WCH CH32V RISC-V devices.☆30May 24, 2023Updated 3 years ago
- QEMU support for a custom board based on a Microchip ATSAMD21G18A microcontroller (MCU)☆14Jun 10, 2024Updated 2 years ago
- A single header string library for microcontrollers - printf, json, etc☆37Jan 2, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Raccoon Signature Scheme -- Reference Code☆15Jul 12, 2023Updated 3 years ago
- Finite state machine library☆33Oct 7, 2025Updated last year
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆33Updated this week
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆19Dec 24, 2020Updated 5 years ago
- openocd wchlink for WCH-Link firmware V2.4☆20Jul 19, 2022Updated 4 years ago
- A VHDL emulation of the RC2014 Z80 SBC☆11May 15, 2020Updated 6 years ago
- Four versions of MIPS 32bit implemented in Verilog using Vivado, ready for Simulation and Nexys4 DDR Board☆13Sep 15, 2022Updated 4 years ago
- Fusesoc compatible rtl cores☆18Sep 9, 2026Updated last month
- Flash ESP32 firmware without command line. Auto-installs esptool, factory mode for batch flashing.☆21Jun 30, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Integration zendesk to gitlab☆14Mar 23, 2017Updated 9 years ago
- StackyPi is a compact and advanced board that is designed with the RP2040 Micro-controller, which provides one set of 2x20 pin headers on…☆23Dec 30, 2022Updated 3 years ago
- STM32 Embedded Modules☆21Jul 30, 2025Updated last year
- RV-Link: In application debugger for RISC-V micro-controllers, RISC-V emulator, running on RISC-V development boards (e.g. Sipeed Longan …☆32Feb 10, 2021Updated 5 years ago
- CH554 software development kit for SDCC☆15Mar 7, 2021Updated 5 years ago
- ☆16Sep 7, 2020Updated 6 years ago
- Autonomous coding agent right in your IDE.☆11Jan 14, 2025Updated last year
- Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.☆18Jun 10, 2026Updated 4 months ago
- ☆19Aug 27, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This is my personal attempt on reverse engineering the Tetris gameboy.☆27Jul 17, 2017Updated 9 years ago
- framework-wizio-pico☆13Oct 22, 2022Updated 3 years ago
- A C implementation of Google's Open Location Code☆10Mar 23, 2018Updated 8 years ago
- An implementation for the open some/ip spec.☆44Updated this week
- ZINC is Not CP/M☆16Jan 8, 2025Updated last year
- Evaluation boards for online-programmable (MTP) Padauk µC☆12Mar 11, 2024Updated 2 years ago
- Scrutiny embedded C++ instrumentation library☆59Aug 25, 2026Updated last month