Propietario · GaloisInc

GaloisInc

Repositorios de código abierto monitorizados de GaloisInc, ordenados por estrellas.

3 repositorios

#1
cryptol ↗@GaloisIncHaskell
Cryptol: el lenguaje de la criptografía
★ 1220+0Variación de estrellas de los últimos 7 días
#2
crucible ↗@GaloisIncHaskell
Crucible es una biblioteca para la simulación simbólica de programas imperativos
★ 774+0Variación de estrellas de los últimos 7 días
#3
saw-script ↗@GaloisIncHaskell
The Software Analysis Workbench
★ 518+1Variación de estrellas de los últimos 7 días