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 COLLECTION

Topic: rtos清除

ADDED

A curated list of embedded programming resources covering MCU platforms, bare-metal development, RTOS, Linux kernel and driver work, toolchains, and learning materials.

Developer toolsSelf-hostedTemplates & starters

☆ 9.1k

♡↗

takibitakibi-lang

ADDED

Takibi 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.

Developer toolsSelf-hostedEditors & IDEs

☆ 2OCaml

♡↗

platformio-coreplatformio

ADDED

PlatformIO Core is an open-source command-line toolchain for embedded software development, providing a multi-platform build system, library management, debugging, unit testing, and static code analysis for microcontroller projects.

Developer toolsAutomationBuild & DevOps

☆ 9.5kPython

♡↗