所有者 · GaloisInc

GaloisInc

GaloisInc 收录中的开源项目，按星标数排序。

共 3 个项目

#1
cryptol ↗@GaloisIncHaskell
Cryptol：密码学语言
★ 1,220+0近 7 天星标变化
#2
crucible ↗@GaloisIncHaskell
Crucible 是一个用于指令式程序符号模拟的库
★ 774+0近 7 天星标变化
#3
saw-script ↗@GaloisIncHaskell
软件分析工作台 (Software Analysis Workbench)。
★ 518+1近 7 天星标变化