#
bmc
Here are 12 public repositories matching this topic...
The efficient SMT-based context-bounded model checker (ESBMC)
kotlin python c cpp smt-solver k-induction automated-testing incremental-learning bmc solidity-contracts cheri automated-verification cp-solver
-
Updated
Nov 13, 2025 - C
CXL Management Interface library
library memory mailbox control-plane pcie bmc out-of-band fabric-manager mctp cxl cxl-mem compute-express-link cxl-emulator cxl-device
-
Updated
Oct 14, 2025 - C
IPMI metrics exporter
c monitoring metrics grafana prometheus ipmi power prometheus-exporter bmc ipmitool dcmi metrics-exporter openipmi
-
Updated
Jan 26, 2022 - C
OpenBMC is an open software framework to build a complete Linux image for a Board Management Controller (BMC).
-
Updated
Sep 18, 2025 - C
Kernel upgrade project for OpenBMC for KGPE-D16 / KCMA-D8
-
Updated
Sep 11, 2018 - C
Improve this page
Add a description, image, and links to the bmc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the bmc topic, visit your repo's landing page and select "manage topics."