bmc
Here are 115 public repositories matching this topic...
Automated Code Repair suite powered by ESBMC and LLMs.
-
Updated
May 24, 2024 - C
The efficient SMT-based context-bounded model checker (ESBMC)
-
Updated
May 24, 2024 - C
A Raspberry Pi based mini BMC system written in Python
-
Updated
May 21, 2024 - Python
Exposes Baseboard Management Controller data in Prometheus format.
-
Updated
May 21, 2024 - Go
The website is designed to provide online classes and resources for civil engineering students preparing for government jobs.
-
Updated
May 15, 2024
Solve grid-based pathfinding challenges efficiently. Our tool transforms grids into SAT problems using Kripke Structures and Boolean formulas, ensuring step-by-step validity while avoiding collisions. Simplify navigation in dynamic environments with central and dynamic agents.
-
Updated
May 7, 2024 - Python
Library to abstract Baseboard Management Controller interaction
-
Updated
May 6, 2024 - Go
OpenBMC is an open software framework to build a complete Linux image for a Board Management Controller (BMC).
-
Updated
May 2, 2024 - C
Service for interacting with BMCs
-
Updated
Apr 29, 2024 - Go
💆♂️ Ansible-role for creating assets in BMC Remedy.
-
Updated
Apr 5, 2024
Improve this page
Add a description, image, and links to the bmc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the bmc topic, visit your repo's landing page and select "manage topics."