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

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

Library to abstract Baseboard Management Controller interaction

Simple iDRAC exporter for Prometheus

Service for interacting with BMCs

OPAL boot and runtime firmware for POWER

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

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

A pure Go IPMI v2.0 remote console.

BMC configuration management tool

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

Exposes Baseboard Management Controller data in Prometheus format.

Web-based user interface for managing OpenBMC systems

Automated Code Repair suite powered by ESBMC and LLMs.

symbolic reachability checker

[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]：重じゅう启

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

Python library for BMC Discovery API Interface.

Runtime Engine for BMC Remedy

BMC simulator source code that is used to compile REST server as a standalone image to mimic BMC HW interface behavour for testing. BMC simulator exposes DMTF Redfish API compliant with OPAF profile.