jcdubois Goto Github PK

ardumower

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

bare_bones

Ada Bare Bones OS development tutorial source code

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.

clean_malloc

memory allocation interposing library

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

Minimal no_std implementation of Heatshrink compression & decompression for embedded systems

heatshrink-rs-snakehand

Minimal no_std implementation of Heatshrink compression & decompression

malette

This project will allow to control an electronic case made of 32 boards, each board commanding 8 GPIO signals.

moth

Minimalist cooperative operating system supporting multiple tasks with MMU protection

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!

pixelize

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

plop_flutter

An aquarium management app written in dart for Android and iOS

pok

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

printf

Tiny, fast, non-dependent and fully loaded printf implementation for embedded systems. Extensive test suite passing.

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