Jean-Christophe DUBOIS's repositories
heatshrink-rs
Minimal no_std implementation of Heatshrink compression & decompression for embedded systems
BatteryMonitor
Python code to monitor and log battery data
BMS_Software
Firmware for LibreSolar BMS boards based on bq769x0
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
reliance-edge
File System for Decision-Quality Data at the Edge of the IoT
xvisor-next
eXtensible Versatile hypervISOR