Popular repositories Loading

1. pkgbuilds pkgbuilds Public

   Forked from zizzfizzix/pkgbuilds

   Shell

2. beets beets Public

   Forked from beetbox/beets

   music library manager and MusicBrainz tagger

   Python

3. lean-exercises lean-exercises Public

   exercises from "Theorem Proving in Lean"

   Lean

4. nagbot nagbot Public

   tells you you're chatting too much! used in a language learning discord to encourage people to study

   Python

5. manuskript manuskript Public

   Forked from olivierkes/manuskript

   A open-source tool for writers

   Python

6. fractal fractal Public

   C++