Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- haskell
- category-theory
- functional-programming
Your Gateway to Embedded Software Development Excellence :alien:
RIOT - The friendly OS for IoT
canonical libwebsockets.org networking library
- websockets
- c-library
- portable-library
- client-server
Monorepo for StartOS, StartWRT, StartTunnel, start-sdk, start-docs, start-cli, start-registry, patch-db, and various shared libraries
- personal-server
- self-hosting
- p2p
- open-source
Apple HomeKit accessory server library for ESP-OPEN-RTOS
- esp8266
- homekit
A platform for packaging and launching blockchain infra. Think docker compose for blockchain
- devops
- docker
- docker-compose
- environment
C99 firmware core for a 16-series LFP pack. Independent charge and discharge FETs, cell protection, coulomb SOC, and the current and voltage limits an inverter follows. Passive balance runs for 1.0 s, then 200 ms off, so the fault wait finishes on an unloaded sample. No RTOS, no heap. The AFE driver and fieldbus stay on your board.
- battery
- bms
- c
- firmware
Some DTrace tools written for the SmartOS/SmartDataCenter cloud (illumos-based)
A safe and fast high-level and low-level character input/output library for bare-metal and RTOS based embedded systems with a very small binary footprint.
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
:white_flower::scroll: R package: RStudio Addin to insert ('stamp') useful Quarto elements
- quarto
- rstudio-addin
- rstats
- rstats-package
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Simple yet powerfull library to made parsing CLI arguments easy. Library also allow to print usage help "out of box".
IR library for Raspberry Pi Pico
Contingency Random Number Generator — numbers with controllable fat tails, volatility clustering, and scale convergence
- fat-tails
- finance
- kurtosis
- market-simulation