Pinned Loading

1. seL4/seL4 seL4/seL4 Public

   The seL4 microkernel

   C 5.2k 729

2. gatsby-starter-markdown gatsby-starter-markdown Public

   boilerplate for markdown-based website

   JavaScript 71 32

3. Homebrew/homebrew-core Homebrew/homebrew-core Public

   🍻 Default formulae for the missing package manager for macOS (or Linux)

   Ruby 14.9k 13.3k

4. c-vim c-vim Public

   my vim configuration

   Vim Script 2