Geeks
GaloisInc
/
pate
Patches Assured up to Trace Equivalence
Primary Language
Haskell
Other
NOASSERTION
pate GitHub
Markdown
Readme
244
Issues
15
Stargazers
9
Watchers
Watchers
dokyungs
eemailme
jevinskie
Lafayette, Indiana
jhcloos
jim-carciofini
lcasburn
Galois, Inc
seanpm2001
Self-employed; looking for tips
thebendavis
@GaloisInc
travitch
AWS