Stars
Official inference framework for 1-bit LLMs
Learn the Zig programming language by fixing tiny broken programs.
Zenpower is Linux kernel driver for reading temperature, voltage(SVI2), current(SVI2) and power(SVI2) for AMD Zen family CPUs.
Lightweight shell implementation for embedded systems
Xilinx FPGA PCIe 保姆级教程 ——基于 PCIe XDMA IP核
A set of Wishbone Controlled SPI Flash Controllers
High-performance eBPF implementation in hardware.
ORB-SLAM3: An Accurate Open-Source Library for Visual, Visual-Inertial and Multi-Map SLAM
RISC-V Formal Verification Framework
Package manager and build abstraction tool for FPGA/ASIC development
A purely functional programming language with first class types
RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see prototyper folder.
RISC-V Open Source Supervisor Binary Interface
chenzhiy2001 / code-debug
Forked from WebFreak001/code-debugSource-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration is based on WebFreak001/code-debug.
An example on implementing the interesting part of Nodes event loop and async story