starkware-libs/cairo
@starkware-libsCairoは、汎用計算のための証明可能なプログラムを作成するための最初のチューリング完全言語です。
スター
1,904
フォーク
774
言語
Rust
ライセンス
Apache-2.0
最終プッシュ
4 日前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。