Stars
Browse starred repositories and topics
Sort: Recently starred
Sort options
Starred Repositories
-
Python code examples for Amazon CodeGuru Reviewer
-
Java code examples for Amazon CodeGuru Reviewer
-
Command line wrapper to interact with CodeGuru Reviewer
-
-
Miscellaneous articles. The readme is the table of contents.
-
The Ivory EDSL
-
A model checker for infinite-state systems.
-
-
Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
-
property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input