The efficient SMT-based context-bounded model checker (ESBMC)
-
Updated
Mar 25, 2026 - C
The efficient SMT-based context-bounded model checker (ESBMC)
CXL Management Interface library
Kernel upgrade project for OpenBMC for KGPE-D16 / KCMA-D8
IPMI metrics exporter
WallaBMC is a lightweight BMC for STM32 and similar class MCUs, with Web UI, Redfish, and HTTPS support. Based on Zephyr RTOS.
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."