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,227 commits to master branch, last one 3 days 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,377 commits to main branch, last one 7 days ago
Simple Redfish (iDRAC, iLO, XClarity) exporter for Prometheus
Created
2020-05-19
212 commits to master branch, last one a day ago
Service for interacting with BMCs
Created
2020-05-13
367 commits to main branch, last one 28 days ago
OPAL boot and runtime firmware for POWER
Created
2014-07-02
5,689 commits to master branch, last one 3 months ago
Vendor-agnostic tool for managing bare-metal systems via the Redfish API
Created
2018-09-28
799 commits to master branch, last one about a month 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 about a month 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
832 commits to master branch, last one 11 days ago
Exposes Baseboard Management Controller data in Prometheus format.
Created
2019-07-26
230 commits to master branch, last one 2 months ago
Kubernetes Controller for BMC Interactions
Created
2022-04-22
490 commits to main branch, last one 6 days ago
Automated Code Repair suite powered by ESBMC and LLMs.
Created
2023-04-30
451 commits to master branch, last one 12 days ago