メインコンテンツへスキップ
buildradar
Sign in

Copilot-Language/copilot

@Copilot-Language

ハードリアルタイムなCコードを生成するためのストリームベースのランタイム検証フレームワーク

スター
833
フォーク
79
言語
Haskell
ライセンス
最終プッシュ
2 か月前
Haskellstreamcembedded-systemscopilothaskellrequirementsruntime-monitoringruntime-monitoring-systemruntime-verificationrvrequirements-engineeringruntime-assurance

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。