Pinned

1. mathematicallatexhelper mathematicallatexhelper Public

   Helper tool for rendering mathematical LaTeX-expressions

   Java 13

2. turingmachine turingmachine Public

   Learning tool for Turingmachines

   Java 2

3. javacompilation-for-texteditors javacompilation-for-texteditors Public

   Script to compile and run Java-Code directly from any text-editor (BBEdit etc.)

   AppleScript 3

4. sorting-algorithms sorting-algorithms Public

   visualization software for sorting algorithms

   Java 2

5. docker-fiduswriter docker-fiduswriter Public archive

   Docker image for fiduswriter collaborative writing tool

   Shell 6 6

6. docker-virtualhere docker-virtualhere Public

   Auto-Updating Docker image based on ubuntu:16.04 running VirtualHere

   Shell 15 8