14 results found Sort:
- Filter by Primary Language:
- Go (8)
- C (3)
- Python (1)
- Vue (1)
- +
The efficient SMT-based context-bounded model checker (ESBMC)
Created
2015-06-20
24,126 commits to master branch, last one a day ago
Open-source firmware for your baseboard management controller (BMC)
Created
2018-09-14
208 commits to master branch, last one about a year ago
Library to abstract Baseboard Management Controller interaction
Created
2018-06-02
1,365 commits to main branch, last one 8 days ago
Simple Redfish (iDRAC, iLO, XClarity) exporter for Prometheus
Created
2020-05-19
202 commits to master branch, last one 3 days ago
Service for interacting with BMCs
Created
2020-05-13
362 commits to main branch, last one about a month ago
OPAL boot and runtime firmware for POWER
Created
2014-07-02
5,689 commits to master branch, last one about a month ago
Vendor-agnostic tool for managing bare-metal systems via the Redfish API
Created
2018-09-28
799 commits to master branch, last one 8 days ago
:atm: Second life for FPGA boards which can be repurposed to DYI/Hobby projects ...............................................................................................
Created
2020-12-14
5 commits to master branch, last one 3 years ago
A pure Go IPMI v2.0 remote console.
Created
2019-07-03
298 commits to master branch, last one 4 days ago
BMC configuration management tool
Created
2018-06-02
347 commits to master branch, last one 2 years ago
Web-based user interface built on Vue.js for managing OpenBMC systems
Created
2020-01-17
828 commits to master branch, last one 26 days ago
Exposes Baseboard Management Controller data in Prometheus format.
Created
2019-07-26
230 commits to master branch, last one 16 days ago
Kubernetes Controller for BMC Interactions
Created
2022-04-22
450 commits to main branch, last one 9 days ago
Automated Code Repair suite powered by ESBMC and LLMs.
Created
2023-04-30
439 commits to master branch, last one 16 hours ago