Pinned

1. verker

   Linux kernel library functions formally verified.

   C 29 6

2. spec-utils

   A number of utilities for writing ACSL specifications for a Linux module.

   Perl 8 3

3. CruelKernel/samsung-exynos9820

   Unified kernel tree for S10 and Note10 devices

   C 15 66

4. acsl-proved

   Fully proved small C functions (examples for verification course).

   C 12

5. ldv-rules

   Rules for LDV project (http://linuxtesting.org/project/ldv).

   C 5

6. adb_root

   Magisk Module that allows you to run "adb root".

   Shell 12 2