GaloisInc の追跡中のオープンソースリポジトリを、スター数順に表示します。
暗号化の言語 Cryptol
Crucible は、命令型プログラムの記号実行を行うためのライブラリです
ソフトウェア解析ワークベンチ
