Popular repositories Loading

1. sudoku-solver sudoku-solver Public

   Python

2. graph-isomorphisms graph-isomorphisms Public

   Python

3. tezoscoq tezoscoq Public

   Forked from tezos/tezoscoq

   working with coq and tezos

   Coq

4. hideIt.sh hideIt.sh Public

   Forked from tadly/hideIt.sh

   Automagically hide/show a window by its name when the cursor is within a defined region or you mouse over it.

   Shell

5. ricochet-robot-solver ricochet-robot-solver Public

   HTML

6. qmk_firmware qmk_firmware Public

   Forked from qmk/qmk_firmware

   Open-source keyboard firmware for Atmel AVR and Arm USB families

   C