Popular repositories Loading

1. Botania Botania Public

   Forked from VazkiiMods/Botania

   A magic mod for Minecraft based on nature and plant life.

   Java

2. l4v l4v Public

   Forked from seL4/l4v

   seL4 specification and proofs

   Isabelle

3. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C

4. isabelle isabelle Public

   Forked from seL4/isabelle

   git mirror of the Munich isabelle hg repository

   Isabelle

5. jedit jedit Public

   Mangled version of jEdit for use with Isabelle

   Java

6. keyd keyd Public

   Forked from rvaiya/keyd

   A key remapping daemon for linux.

   C