Proprietário · GaloisInc

GaloisInc

Repositórios de código aberto acompanhados de GaloisInc, ordenados por estrelas.

3 repositórios

#1
cryptol ↗@GaloisIncHaskell
Cryptol: A linguagem da criptografia
★ 1.220+0Variação de estrelas nos últimos 7 dias
#2
crucible ↗@GaloisIncHaskell
Crucible é uma biblioteca para simulação simbólica de programas imperativos.
★ 774+0Variação de estrelas nos últimos 7 dias
#3
saw-script ↗@GaloisIncHaskell
The Software Analysis Workbench
★ 518+1Variação de estrelas nos últimos 7 dias