Popular repositories Loading

1. rpg-char-sheet-latex rpg-char-sheet-latex Public

   Forked from natfarleydev/rpg-char-sheet-latex

   RPG (primarily pathfinder but easily adapted) character sheet designed in LaTeX. Included calculated values based on base stats.

   TeX

2. stackage stackage Public

   Forked from commercialhaskell/stackage

   "Stable Hackage," tools for creating a vetted set of packages from Hackage.

   Shell

3. Oldweb Oldweb Public

   Personal web page

   HTML

4. jcc-web jcc-web Public

   Página web de las gloriosas JCC

   HTML

5. CursilloIntroLcc CursilloIntroLcc Public

6. categories categories Public

   Forked from copumpkin/categories

   Categories parametrized by morphism equality, in Agda

   Agda