BlueRock Security, Inc

icon indicating a website link http://www.bedrocksystems.com

icon location United States of America icon location a.k.a BedRock Systems, Inc

Results 3 repositories owned by BlueRock Security, Inc

BRiCk

63
Stars
9
Forks
Watchers

Formalization of C++ for verification purposes.

verified publisher icon bedrocksystems

NOVA

15
Stars
1
Forks
Watchers

NOVA Microhypervisor

verified publisher icon bedrocksystems

coq-lens

17
Stars
6
Forks
Watchers

Lenses in Coq

verified publisher icon bedrocksystems