#
Starred repositories
A curated list of spec, maturity comparison between current Open RISC-V cores.
Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…
Linux-capable out-of-order superscaler multicore LoongArch32 (LA32 / LA32R) processor.
Crowdsourced Verification Project (UnityChip Verification) for the Xiangshan Processor
HuShaoRu / CompCert
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
High-performance inference framework for large language models, focusing on efficiency, flexibility, and availability.
LoongsonLab / rt-thread
Forked from RT-Thread/rt-threadRT-Thread is an open source IoT Real-Time Operating System (RTOS).
Free monospaced font with programming ligatures
A mixed-criticality platform built around Cheshire, with a number of safety/security and predictability features. Ready-to-use FPGA flow on multiple boards is available.
Lightweight printf library optimized for embedded systems
Universal wireless communication library for embedded devices