リポジトリ

cryspen のリポジトリ

1 件の対応リポジトリ

索引済み issue があるリポジトリを表示
cryspen/haxOCaml

A Rust verification tool

最終コミット 2026/07/02

 (456 stars) (61 forks) (5 件の索引済み issue) (5 件のオープンな good first issue)