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,294 commits to master branch, last one 17 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,386 commits to main branch, last one 15 days ago
Simple Redfish (iDRAC, iLO, XClarity) exporter for Prometheus
Created
2020-05-19
218 commits to master branch, last one 3 days ago
Service for interacting with BMCs
Created
2020-05-13
373 commits to main branch, last one 21 days ago
OPAL boot and runtime firmware for POWER
Created
2014-07-02
5,717 commits to master branch, last one 8 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 10 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
A pure Go IPMI v2.0 remote console.
Created
2019-07-03
298 commits to master branch, last one 3 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
839 commits to master branch, last one 8 days ago
Exposes Baseboard Management Controller data in Prometheus format.
Created
2019-07-26
230 commits to master branch, last one 3 months ago
Kubernetes Controller for BMC Interactions
Created
2022-04-22
505 commits to main branch, last one 15 days ago
Automated Code Repair suite powered by ESBMC and LLMs.
Created
2023-04-30
475 commits to master branch, last one 5 days ago