Popular repositories Loading

1. kani-harnesss-based-verification kani-harnesss-based-verification Public

   Tutorial about using bolero and Kani for harness-based testing and verification

   Rust 2

2. plugscan plugscan Public

   Fast audio plugin inventory and update awareness for macOS — AU/VST/VST3/CLAP + DAWs, declarative vendor resolvers, no plugin ever loaded

   Rust 1

3. grammars-v4 grammars-v4 Public

   Forked from antlr/grammars-v4

   Grammars written for ANTLR v4; expectation that the grammars are free of actions.

   ANTLR

4. aws-verification-model-for-libcrypto aws-verification-model-for-libcrypto Public

   Forked from awslabs/aws-verification-model-for-libcrypto

   Partial verification model for openssl.

   C

5. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   C++

6. s2n-tls s2n-tls Public

   Forked from aws/s2n-tls

   s2n : an implementation of the TLS/SSL protocols

   C