- France
-
14:20
(UTC +02:00)
Block or Report
Block or report jcdubois
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
northstar Public
Forked from esrlabs/northstarEmbedded container runtime
Rust Apache License 2.0 UpdatedJun 23, 2024 -
cpachecker Public
Forked from sosy-lab/cpacheckerCPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Java Apache License 2.0 UpdatedJun 18, 2024 -
A secure embedded operating system for microcontrollers
-
-
BMS_Software Public
Forked from LibreSolar/bms-firmwareFirmware for LibreSolar BMS boards based on bq769x0
C Apache License 2.0 UpdatedApr 26, 2024 -
muen Public
Forked from codelabs-ch/muenOfficial mirror of the Muen Separation Kernel repository
Ada Other UpdatedApr 26, 2024 -
-
-
BatteryMonitor Public
Forked from simat/BatteryMonitorPython code to monitor and log battery data
Python GNU General Public License v2.0 UpdatedMar 15, 2024 -
reliance-edge Public
Forked from tuxera/reliance-edgeFile System for Decision-Quality Data at the Edge of the IoT
C GNU General Public License v2.0 UpdatedMar 15, 2024 -
cbmc-starter-kit Public
Forked from model-checking/cbmc-starter-kitThe CBMC stater kit makes it easy to add CBMC verification to a software project.
Python MIT No Attribution UpdatedMar 15, 2024 -
OpenMower Public
Forked from ClemensElflein/OpenMowerLet's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!
C Other UpdatedMar 15, 2024 -
xvisor-next Public
Forked from avpatel/xvisor-nexteXtensible Versatile hypervISOR
C GNU General Public License v2.0 UpdatedMar 15, 2024 -
-
uCOS-Example-App Public
-
pok Public
Forked from pok-kernel/pokPOK kernel repository. Visit http://pok.tuxfamily.org
C BSD 2-Clause "Simplified" License UpdatedJan 11, 2024 -
heatshrink-rs Public
Minimal no_std implementation of Heatshrink compression & decompression for embedded systems
-
-
heatshrink-c-atomicobject Public
Forked from atomicobject/heatshrinkdata compression library for embedded/real-time systems
C ISC License UpdatedNov 4, 2023 -
heatshrink-rs-snakehand Public
Forked from snakehand/heatshrinkMinimal no_std implementation of Heatshrink compression & decompression
Rust Other UpdatedSep 14, 2023 -
cbmc-viewer Public
Forked from model-checking/cbmc-viewerCBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
Python Apache License 2.0 UpdatedJan 27, 2023 -
ardumower Public
Forked from Ardumower/ardumowerDevelop an open source robotic lawn mower (HW+SW reference platform)
HTML UpdatedJun 21, 2022 -
ocarina Public
Forked from OpenAADL/ocarinaAADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Ada Other UpdatedMar 24, 2022 -
pixelize Public
Pixelize is a program that will use many scaled down images to try to duplicate, as closely as possible, another image.
-
BMS48V Public
Forked from LibreSolar/bms-15s80-scBattery management system for up to 15 Li-ion cells using bq76940 or bq76930
GNU General Public License v3.0 UpdatedDec 23, 2021 -
-
-
-
-