jcdubois

moth

Minimalist cooperative operating system supporting multiple tasks with MMU protection

heatshrink-rs

Minimal no_std implementation of Heatshrink compression & decompression for embedded systems

pixelize

Pixelize is a program that will use many scaled down images to try to duplicate, as closely as possible, another image.

ardumower

Develop an open source robotic lawn mower (HW+SW reference platform)

BatteryMonitor

Python code to monitor and log battery data

BMS48V

Battery management system for up to 15 Li-ion cells using bq76940 or bq76930

BMS_Software

Firmware for LibreSolar BMS boards based on bq769x0

cbmc

C Bounded Model Checker

cbmc-starter-kit

The CBMC stater kit makes it easy to add CBMC verification to a software project.

cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

e-orca

Technical information about e-orca velomobile

heatshrink-c-atomicobject

data compression library for embedded/real-time systems

heatshrink-rs-snakehand

Minimal no_std implementation of Heatshrink compression & decompression

muen

Official mirror of the Muen Separation Kernel repository

ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

OpenMower

Let's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!

pok

POK kernel repository. Visit http://pok.tuxfamily.org

qemu

Official QEMU mirror

reliance-edge

File System for Decision-Quality Data at the Edge of the IoT

tock

A secure embedded operating system for microcontrollers

uC-Clk

uC-Common

uC-CPU

uC-DHCPc

uC-LIB

uC-OS3

uC-TCP-IP

uCOS-Example-App

xvisor-next

eXtensible Versatile hypervISOR