Eigentümer · GaloisInc

GaloisInc

Erfasste Open-Source-Repos von GaloisInc, sortiert nach Sternen.

3 Repos

#1
cryptol ↗@GaloisIncHaskell
Cryptol: Die Sprache der Kryptographie.
★ 1.220+0Sterne-Änderung der letzten 7 Tage
#2
crucible ↗@GaloisIncHaskell
Crucible ist eine Bibliothek zur symbolischen Simulation imperativer Programme
★ 774+0Sterne-Änderung der letzten 7 Tage
#3
saw-script ↗@GaloisIncHaskell
Die Software Analysis Workbench.
★ 518+1Sterne-Änderung der letzten 7 Tage