nickroess

Pinned Repositories

cbat_tools
Program analysis tools developed at Draper on the CBAT project.
Language:OCaml102 18 17314
hope-FreeRTOS
Free-RTOS from Amazon under MIT License
Language:C2 27 00
hope-llvm-project
Language:C++1 29 20
hope-policy-engine
Generic functional policy engine for functional simulation of security policies.
Language:C2 25 74
hope-src
HOPE Software Toolchain
Language:Shell5 28 31
hope-policies
Collection of security policies
Language:C00
hope-policy-engine
Generic functional policy engine for functional simulation of security policies.
Language:C0 1 00
nickroess.github.io
website
Language:HTML00
sc2-repdump
SC2 Replay data dump
Language:Python0 1 00
sc2-repdump
SC2 Replay data dump
Language:Python17 2 05

nickroess's Repositories

nickroess/hope-policies
Collection of security policies
Language:C00
nickroess/hope-policy-engine
Generic functional policy engine for functional simulation of security policies.
Language:C0 1 00
nickroess/nickroess.github.io
website
Language:HTML00
nickroess/sc2-repdump
SC2 Replay data dump
Language:Python0 1 00