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,442 commits to master branch, last one 21 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 2 months ago
Simple Redfish (iDRAC, iLO, XClarity) exporter for Prometheus
Created
2020-05-19
225 commits to master branch, last one 16 days ago
Service for interacting with BMCs
Created
2020-05-13
373 commits to main branch, last one 2 months ago
OPAL boot and runtime firmware for POWER
Created
2014-07-02
5,728 commits to master branch, last one 16 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 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 4 years ago
A pure Go IPMI v2.0 remote console.
Created
2019-07-03
300 commits to master branch, last one 22 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
842 commits to master branch, last one about a month ago
Exposes Baseboard Management Controller data in Prometheus format.
Created
2019-07-26
230 commits to master branch, last one 5 months ago
Kubernetes Controller for BMC Interactions
Created
2022-04-22
505 commits to main branch, last one 2 months ago
Automated Code Repair suite powered by ESBMC and LLMs.
Created
2023-04-30
523 commits to master branch, last one 19 hours ago