davearcher

Principal Scientist at Galois, Inc.

Galois, Inc.Portland, OR

Pinned Repositories

sample1
0 1 20
adapt
ADAPT software for Transparent Computing
Language:Java6 32 933
RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
Language:Python20 11 5356

davearcher's Repositories

davearcher/sample1
0 1 20