Pinned Loading

1. tudo-seal/cls-python tudo-seal/cls-python Public

   Synthesis using inhabitation in FCL with intersection types

   Python 2

2. syng syng Public

   All in one karaoke software

   Python 1 1

3. pyautosplit pyautosplit Public

   Autosplitter for Linux (for the LiveSplit Server)

   Python 45 5

4. mtgo-vintage-cube mtgo-vintage-cube Public

   Git repository of all cards in the MTGO Vintage cube. One tag for each release.

   2

5. latex-exsheetans latex-exsheetans Public

   A LaTeX documentclass for submissions for exercise sheets

   TeX 1

6. pySpellbook pySpellbook Public

   A PDF spellbook creation utility for d20 like games in python

   Python 4