Pinned Loading

1. pytableaux pytableaux Public

   multi-logic proof generator

   Python 9

2. synths synths Public

   JavaScript

3. neo-controller neo-controller Public

   NeoPixel controller using Xiao RP2040, written in CircuitPython

   Python

4. gameon gameon Public

   Terminal backgammon

   JavaScript 1

5. moon-unit moon-unit Public

   robotic telescope project

   C++

6. dissertation dissertation Public

   Dissertation in Philosophical Logic, "Indeterminacy and Logical Atoms"

   TeX