Pemilik · GaloisInc

GaloisInc

Repositori open source terpantau milik GaloisInc, diurutkan berdasarkan bintang.

3 repositori

#1
cryptol ↗@GaloisIncHaskell
Cryptol: Bahasa Kriptografi
★ 1.220+0Perubahan bintang dalam 7 hari terakhir
#2
crucible ↗@GaloisIncHaskell
Crucible adalah pustaka untuk simulasi simbolik program imperatif.
★ 774+0Perubahan bintang dalam 7 hari terakhir
#3
saw-script ↗@GaloisIncHaskell
The Software Analysis Workbench
★ 518+1Perubahan bintang dalam 7 hari terakhir