The efficient SMT-based context-bounded model checker (ESBMC)

• UpdatedMar 17, 2025
• C

Open-source firmware for your baseboard management controller (BMC)

• UpdatedJul 5, 2023
• Go

Library to abstract Baseboard Management Controller interaction

• UpdatedMar 13, 2025
• Go

Simple Redfish (iDRAC, iLO, XClarity) exporter for Prometheus

• UpdatedMar 8, 2025
• Go

Service for interacting with BMCs

• UpdatedMar 13, 2025
• Go

OPAL boot and runtime firmware for POWER

• UpdatedMar 7, 2025
• C

Vendor-agnostic tool for managing bare-metal systems via the Redfish API

• UpdatedJan 23, 2025
• Python

🏧 Second life for FPGA boards which can be repurposed to DYI/Hobby projects ...............................................................................................

• UpdatedJan 12, 2021

A pure Go IPMI v2.0 remote console.

• UpdatedMar 1, 2025
• Go

BMC configuration management tool

• UpdatedSep 7, 2022
• Go

Web-based user interface built on Vue.js for managing OpenBMC systems

• UpdatedMar 17, 2025
• Vue

Exposes Baseboard Management Controller data in Prometheus format.

• UpdatedMar 10, 2025
• Go

Kubernetes Controller for BMC Interactions

• UpdatedMar 14, 2025
• Go

Web-based user interface for managing OpenBMC systems

• UpdatedJul 20, 2023
• JavaScript

Automated Code Repair suite powered by ESBMC and LLMs.

• UpdatedFeb 25, 2025
• C

symbolic reachability checker

• UpdatedSep 23, 2021
• Go

[1]：配置PXE环境（EFI/UEFI） [2]：更换PXE批量安装的服务器 [3]：批量修改文件内容 [4]：批量双网卡绑定Bond模式配置 [5]：批量双网卡绑定Team模式配置 [6]：收集LLD配置信息,检查网络连通性 [7]：批量拷贝文件 [8]：批量执行命令 [9]：批量拷贝文件到本地 [a]：解决SSH慢的问题 [b]：时区和时间配置 [c]：本地Yum仓库源配置 [d]：批量配置YUM源 [e]：批量更换IP地址 [f]：批量配置RAID [g]：批量配置BMC地址 [h]：解决重装操作系统无法引导 [i]：本机免密钥通信 [j]：单机配置Bond双网卡绑定[k]：检查文件权限和属组 [q]：退出 [r]：重启

• UpdatedDec 14, 2019
• Shell

CVEs for Integrated Dell Remote Access Controller (iDRAC)

• UpdatedMar 16, 2025

Pure Python-based IPMI client developed by Hyve Design Solutions.

• UpdatedJul 23, 2021
• Python

Python library for BMC Discovery API Interface.

• UpdatedOct 17, 2022
• Python