Pinned

1. verker

   Linux kernel library functions formally verified.

   C 29 6

2. adb_root

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

   Shell 33 6

3. spec-utils

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

   Perl 8 3

4. CruelKernel/samsung-exynos9820

   Unified kernel tree for S10 and Note10 devices

   C 21 86

5. acsl-proved

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

   C 12

6. ldv-rules

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

   C 5