Popular repositories Loading

1. nfa-equivalence-code nfa-equivalence-code Public

   Reimplementations of algorithms for the CL master seminar

   Haskell 2

2. jar-navigator jar-navigator Public

   A simple tool which displays the classes contained in the JAR archives in a directory.

   1

3. equational-calculator equational-calculator Public

   A tool to use the inference rules of equational logic on terms.

   Python 1 1

4. uni-programming-lab uni-programming-lab Public

   Programming Lab: Innovative Interaktion, Visualisierung und Analyse

   JavaScript 1 2

5. SASAbus SASAbus Public

   Forked from paolodongilli/SASAbus

   SASAbus is an Android application to consult the bus schedule of the cities of Bozen/Bolzano, Meran/Merano and Leifers/Laives (South Tyrol, Italy). SASAbus is Free Software under the GNU GPLv3 lice…

   Java

6. node-gui node-gui Public

   Forked from yue/node-gui

   GTK+ for node

   C++