synthpulseengine
新着Synthは、ARM Cortex-M/R、RISC-V RV32IMAC、AArch64をターゲットとするWebAssembly向けAOTコンパイラです。Rocqによる形式的な正当性証明とSMTによる翻訳検証を備え、組み込み向けに開発されているApache-2.0ライセンスのプロジェクトです。
OPEN SOURCE, OPEN TO EVERYONE
オープンソース。新しい可能性。
優れたオープンソースプロジェクトを見つけ、匿名でプロジェクトを投稿し、自分のプロジェクトを申請して編集できます。
✳編集部選定 · 良いオープンソースを発見4109発見済み
好奇心とともに、オープンソースの世界へ。
THE FIRST COLLECTIONTopic: pulseengine清除