Popular repositories

1. HolBA HolBA Public

   Binary analysis in HOL

   Standard ML 33 20

2. itppv-course itppv-course Public

   Interactive Theorem Proving course using HOL4

   Standard ML 7

3. HOL4P4 HOL4P4 Public

   P4 formalization using Ott and HOL4

   Standard ML 6

4. EmbExp-Box_firmware EmbExp-Box_firmware Public

   C 4

5. s3k s3k Public

   Capability based separation Kernel for embedded RISC-V.

   C 4 2

6. separation-kernel separation-kernel Public archive

   C 2