Pinned Loading

1. pytableaux pytableaux Public

   multi-logic proof generator

   Python 9

2. gameon gameon Public

   Terminal backgammon

   JavaScript 1

3. quale-dev-i18n quale-dev-i18n Public

   extraction util for gettext-po i18n files

   JavaScript

4. moon-unit moon-unit Public

   robotic telescope project

   C++

5. postfix-tools postfix-tools Public

   Shell

6. dissertation dissertation Public

   Dissertation in Philosophical Logic, "Indeterminacy and Logical Atoms"

   TeX