Propriétaire · GaloisInc

GaloisInc

Dépôts open source suivis de GaloisInc, triés par étoiles.

3 dépôts

#1
cryptol ↗@GaloisIncHaskell
Cryptol : le langage de la cryptographie
★ 1 220+0Évolution des étoiles sur les 7 derniers jours
#2
crucible ↗@GaloisIncHaskell
Crucible est une bibliothèque pour la simulation symbolique de programmes impératifs
★ 774+0Évolution des étoiles sur les 7 derniers jours
#3
saw-script ↗@GaloisIncHaskell
Le Software Analysis Workbench
★ 518+1Évolution des étoiles sur les 7 derniers jours