12 results found Sort:
- Filter by Primary Language:
- Go (7)
- C (2)
- Python (1)
- Vue (1)
- +
The efficient SMT-based context-bounded model checker (ESBMC)
Created
2015-06-20
23,964 commits to master branch, last one 16 hours 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,347 commits to main branch, last one 4 days ago
Simple iDRAC exporter for Prometheus
Created
2020-05-19
191 commits to master branch, last one 12 days ago
Service for interacting with BMCs
Created
2020-05-13
362 commits to main branch, last one 12 days ago
OPAL boot and runtime firmware for POWER
Created
2014-07-02
5,689 commits to master branch, last one 18 days ago
Vendor-agnostic tool for managing bare-metal systems via the Redfish API
Created
2018-09-28
796 commits to master branch, last one 2 months 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
294 commits to master branch, last one 6 months 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
809 commits to master branch, last one 4 days ago
Exposes Baseboard Management Controller data in Prometheus format.
Created
2019-07-26
226 commits to master branch, last one 6 days ago