Pinned Loading

1. kanikaniPublic

   Forked from model-checking/kani

   Kani Rust Verifier

   Rust 1

2. awslabs/aws-build-accumulatorawslabs/aws-build-accumulatorPublic

   Litani metabuild system

   Python 20 11

3. aws/s2n-tlsaws/s2n-tlsPublic

   An implementation of the TLS/SSL protocols

   C 4.8k 798

4. diffblue/cbmcdiffblue/cbmcPublic

   C Bounded Model Checker

   C++ 1.1k 300

5. FreeRTOS/FreeRTOSFreeRTOS/FreeRTOSPublic

   'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

   C 7.7k 2.1k

6. aws-encryption-sdk-caws-encryption-sdk-cPublic

   Forked from aws/aws-encryption-sdk-c

   AWS Encryption SDK for C

   C 1