オープンソース。新しい可能性。

PlatformIO Coreは、組み込みソフトウェア開発のためのオープンソースCLIツールチェーンです。Apache 2.0ライセンスで提供され、Linux/macOS/Windowsに対応します。

Synthは、ARM Cortex-M/R、RISC-V RV32IMAC、AArch64をターゲットとするWebAssembly向けAOTコンパイラです。Rocqによる形式的な正当性証明とSMTによる翻訳検証を備え、組み込み向けに開発されているApache-2.0ライセンスのプロジェクトです。

ESPectreは対応するESP32ボードをローカルWi-Fi CSIモーションセンサーに変える。書き込み可能なファームウェア、Home Assistant/MQTT/Matter連携、ブラウザツール、CLI、組み込み可能なC++ SDKを備える。

TartLabは、組み込みデバイスから直接提供される軽量なブラウザベースのMicroPython IDEです。教室向けに設計されており、デスクトップIDEのインストールが不要です。構文ハイライト、REPLコンソール、Wi-Fi設定、ブラウザ経由のアップデート機能を備えています。現在はアルファ版で、LilyGO T-Display-S3 Proに対応しています。

raylibは、ビデオゲームプログラミング向けのシンプルで使いやすいCライブラリであり、プロトタイピング、教育、およびグラフィカルなアプリケーションに最適です。

EmbassyはRustとasyncを使用した最新の組み込みフレームワークで、安全かつ効率的なマルチタスクを実現し、さまざまなマイコンのHAL、時間、ネットワーク、Bluetooth、USBなどを提供します。

CloudPath（云径）は、中心サービスとゲートウェイで構成されるセルフホスト型のIoT制御プラットフォームです。中心サービスが期待状態・テナント・監査を管理し、ゲートウェイがデバイスの観測状態を管理してオフライン時も自律動作します。プラグイン方式でデバイスを接続し、ブラウザから状態確認やリモート操作が可能です。GoとReactで構築され、SQLiteを採用。MITライセンスで公開されています。

組込みプログラミングの厳選リソース集。MCUプラットフォーム、ベアメタル開発、RTOS、Linuxカーネル/ドライバ、ツールチェーン、学習資料を網羅。

Takibiは、リファインメント型とアフィン所有権を用いて、カーネルの実行時エラーをコンパイル時エラーに変換することを目指した、研究用システム言語およびLinux-ABI互換のモノリシックカーネルです。