Popular repositories Loading

1. awesome-programming-discord awesome-programming-discord Public

   Forked from mhxion/awesome-discord-communities

   A curated list of awesome Discord communities for programmers

   Python

2. fiat-crypto fiat-crypto Public template

   Forked from mit-plv/fiat-crypto

   Cryptographic Primitive Code Generation by Fiat

   Coq

3. wai-components wai-components Public

   Forked from w3c/wai-components

   Essential Components of Web Accessibility

   Ruby

4. coqutil coqutil Public

   Forked from mit-plv/coqutil

   Coq library for tactics, basic definitions, sets, maps

   Coq

5. opensource.guide opensource.guide Public

   Forked from github/opensource.guide

   📚 Community guides for open source creators

   JavaScript

6. PostgresApp PostgresApp Public

   Forked from PostgresApp/PostgresApp

   The easiest way to get started with PostgreSQL on the Mac

   Makefile