The efficient SMT-based context-bounded model checker (ESBMC)
-
Updated
Mar 27, 2026 - C
The efficient SMT-based context-bounded model checker (ESBMC)
CXL Management Interface library
WallaBMC is a lightweight BMC for STM32 and similar class MCUs, with Web UI, Redfish, and HTTPS support. Based on Zephyr RTOS.
Kernel upgrade project for OpenBMC for KGPE-D16 / KCMA-D8
IPMI metrics exporter
OpenBMC is an open software framework to build a complete Linux image for a Board Management Controller (BMC).
Add a description, image, and links to the bmc topic page so that developers can more easily learn about it.
To associate your repository with the bmc topic, visit your repo's landing page and select "manage topics."