h5i-dev/h5i
PublicAn Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.
Stars91524h gain+3Score1.8
Search
Find trending repositories by name or description.
9 results for “bare-metal”
RankRepositoryStars24h gainScore
eddyem/stm32samples
PublicCode samples and ready projects based on bare-metal STM32
Stars20024h gain-Score0.0
esp-rs/esp-wifi-sys
PublicWi-Fi and BT drivers packaged for integration into bare-metal esp-wifi.
Stars44324h gain-Score0.0
vexxhost/atmosphere
PublicSimple & easy private cloud platform featuring VMs, Kubernetes & bare-metal
Stars17324h gain0Score0.0
A bare metal programming guide (ARM microcontrollers)
Stars4.7k24h gain-Score0.0
YuzukiHD/SyterKit
PublicSyterKit is a bare-metal framework
Stars17324h gain-Score0.0
miuda-ai/lele
PublicBare-Metal Rust Audio AI Framework
Stars18124h gain-Score0.0
EBonura/PSoXide
PublicBare-metal Rust SDK and tools for the original PlayStation. Editor/engine/Cortex and emulator are separate repositories.
Stars46024h gain0Score0.0
diodesign/diosix
PublicA lightweight, robust, multiprocessor bare-metal hypervisor written in Zig for RISC-V
Stars21024h gain-1Score-0.4