Pinned Loading

1. tableaunoir/tableaunoir tableaunoir/tableaunoir Public

   An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweight user interface, and without coding.

   TypeScript 186 30

2. prooffold prooffold Public

   Another attempt for visualizing proofs

   JavaScript 10 4

3. zikpad/zikpad zikpad/zikpad Public

   Zikpad is an online tool to easily write and play music scores mainly used for educational purposes. It guesses the rythm from the placement of the notes. The score can then be exported in the lily…

   TypeScript 8 1

4. hintikkasworld/hintikkasworld hintikkasworld/hintikkasworld Public

   Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

   TeX 12 2

5. tikzzz tikzzz Public

   A tiny tikzzz editor in the browser

   JavaScript 11 3

6. abcd abcd Public

   A simple ASCII format to represent music scores, and a music score editor

   JavaScript 7