Pinned

1. PEDS17 Public

   Forked from ahalsnad/PEDS17

   Project WS16-17

   C++

2. Software-Foundations Public

   Solution of Software Foundation

   Coq

3. awesome-self-stabilization Public

   Self-stabilization resources and links.

   1 2

4. gecko-dev Public

   Forked from mozilla/gecko-dev

   Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code

5. nss Public

   Forked from nss-dev/nss

   Read only mirror of https://hg.mozilla.org/projects/nss

   C