Popular repositories Loading

1. altera-sockit-hardcaml altera-sockit-hardcaml Public

   Standard ML 10 3

2. AirSane-openwrt AirSane-openwrt Public

   Forked from polikasov/AirSane-openwrt

   OpenWRT AirSane package

   Shell 3 5

3. minisat-2.2.1-for-cbmc minisat-2.2.1-for-cbmc Public

   Patched MiniSat that CBMC uses

   C++ 2

4. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   C++

5. aws-c-common aws-c-common Public

   Forked from awslabs/aws-c-common

   Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

   C

6. cmangla.github.io cmangla.github.io Public

   PhD candidate in Computer Science, University of Cambridge.