seL4/l4v

seL4 specification and proofs

GitHub repository with 613 stars and 121 forks.

Language: Isabelle

Topics: isabelle, sel4-proofs, proof, formalisation, sel4-microkernel

Open provider repository

24h trend summary

Trending score 0.72, freshness score 0.90, stars gained +1, forks gained +1.

Latest metric snapshot

2026-06-15: 613 stars and 121 forks.

Similar repositories

  1. 1. seL4/l4v

    seL4 specification and proofs

    GitHub repository with 613 stars and 121 forks.

    Trending score: 0.72; stars gained: +1; forks gained: +1.

    Language: Isabelle

    Topics: isabelle, sel4-proofs, proof, formalisation, sel4-microkernel

Trending in Isabelle

  1. 1. seL4/l4v

    seL4 specification and proofs

    GitHub repository with 613 stars and 121 forks.

    Trending score: 0.72; stars gained: +1; forks gained: +1.

    Language: Isabelle

    Topics: isabelle, sel4-proofs, proof, formalisation, sel4-microkernel

  2. 2. seL4/isabelle

    git mirror of the Munich isabelle hg repository

    GitHub repository with 138 stars and 43 forks.

    Trending score: 0.09; stars gained: +0; forks gained: +0.

    Language: Isabelle

  3. 3. au-ts/cogent

    Cogent Project

    GitHub repository with 177 stars and 27 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Isabelle

    Topics: file-systems, verification, programming-languages, isabelle-hol, co-generation

Trending topic: isabelle

  1. 1. seL4/l4v

    seL4 specification and proofs

    GitHub repository with 613 stars and 121 forks.

    Trending score: 0.72; stars gained: +1; forks gained: +1.

    Language: Isabelle

    Topics: isabelle, sel4-proofs, proof, formalisation, sel4-microkernel