koflerdavid/uni-programming-lab
Programming Lab: Innovative Interaktion, Visualisierung und Analyse
Public GitHub Catalog
Discovered Sep 26, 2026
koflerdavid / equational-calculator
A tool to use the inference rules of equational logic on terms.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#6350528GitHub System ID
koflerdavidOrganization / User
PublicVisibility
ActiveCatalog Status
More from koflerdavid
koflerdavid/node-gui
GTK+ for node
koflerdavid/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 licence.
koflerdavid/jar-navigator
A simple tool which displays the classes contained in the JAR archives in a directory.