擁有者 · 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 天星數變化