14 results found Sort:

103
317
other
18
The efficient SMT-based context-bounded model checker (ESBMC)
Created 2015-06-20
24,336 commits to master branch, last one 18 hours ago
33
282
bsd-3-clause
61
Open-source firmware for your baseboard management controller (BMC)
Created 2018-09-14
208 commits to master branch, last one about a year ago
38
199
apache-2.0
9
Library to abstract Baseboard Management Controller interaction
Created 2018-06-02
1,386 commits to main branch, last one about a month ago
Simple Redfish (iDRAC, iLO, XClarity) exporter for Prometheus
Created 2020-05-19
221 commits to master branch, last one 9 days ago
38
111
apache-2.0
18
Service for interacting with BMCs
Created 2020-05-13
373 commits to main branch, last one about a month ago
134
104
apache-2.0
38
OPAL boot and runtime firmware for POWER
Created 2014-07-02
5,717 commits to master branch, last one 24 days ago
Vendor-agnostic tool for managing bare-metal systems via the Redfish API
Created 2018-09-28
803 commits to master branch, last one 26 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 4 years ago
21
83
lgpl-3.0
8
A pure Go IPMI v2.0 remote console.
Created 2019-07-03
298 commits to master branch, last one 3 months ago
11
79
apache-2.0
10
BMC configuration management tool
Created 2018-06-02
347 commits to master branch, last one 2 years ago
57
58
apache-2.0
12
Web-based user interface built on Vue.js for managing OpenBMC systems
Created 2020-01-17
842 commits to master branch, last one 13 days ago
3
49
lgpl-3.0
9
Exposes Baseboard Management Controller data in Prometheus format.
Created 2019-07-26
230 commits to master branch, last one 4 months ago
17
41
apache-2.0
11
Kubernetes Controller for BMC Interactions
Created 2022-04-22
505 commits to main branch, last one about a month ago
5
34
other
4
Automated Code Repair suite powered by ESBMC and LLMs.
Created 2023-04-30
499 commits to master branch, last one 7 days ago