NikolausDemmel/tvseg
The tvseg software is a library and GUI tool image segmentation.
Public GitHub Catalog
Discovered Sep 24, 2026
NikolausDemmel / Sematics-Course-Tutorial
My solutions to the exercises for the Semantics course by Prof Nipkow in winter 2010/2011.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1076217GitHub System ID
NikolausDemmelOrganization / User
PublicVisibility
ActiveCatalog Status
More from NikolausDemmel
NikolausDemmel/test_jobserver_ws
Testing workspace for catkin tools make jobserver integration (https://github.com/catkin/catkin_tools/pull/85)
NikolausDemmel/homebrew-simulation
Homebrew tap for osrf simulation software
NikolausDemmel/wstool
A tool for managing a workspace of multiple heterogenous SCM repositories