awesome-embeddednhivp
ADDEDA curated list of embedded programming resources covering MCU platforms, bare-metal development, RTOS, Linux kernel and driver work, toolchains, and learning materials.
OPEN SOURCE, OPEN TO EVERYONE
Open source. Open possibilities.
Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.
✳Human-curated · Discover open source4109discovered
A little curiosity. A world of open source.
THE FIRST COLLECTIONTopic: stm32清除
takibitakibi-lang
ADDEDTakibi is a research systems language and a Linux-ABI-compatible monolithic kernel designed to shift kernel runtime failures to compile-time errors using refinement types and affine ownership.