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

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

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

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

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