knowsys / TheoLogLinks
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
☆24Updated 11 months ago
Alternatives and similar repositories for TheoLog
Users that are interested in TheoLog are comparing it to the libraries listed below
Sorting:
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated last year
- Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthal…☆18Updated 7 years ago
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆26Updated this week
- collection of train plushies☆17Updated 2 months ago
- 📦 Lernstoffsammlung der Informatik☆69Updated last month
- ☆77Updated last year
- j-Algo is an algorithm visualisation tool.☆11Updated 3 years ago
- A LaTeX package for typesetting (potentially long) recipes.☆39Updated 4 years ago
- Bist du schon drin?☆41Updated 5 months ago
- Strichliste Backend☆26Updated 6 months ago
- Grundgesetz für die Bundesrepublik Deutschland☆526Updated 7 years ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- Android app for @Traewelling public transport check-in service☆99Updated last month
- TUD-Script☆109Updated 9 months ago
- Eclipse-Plugin for grading with the artemis project☆10Updated 7 months ago
- Traewelling-inspired journey logger with realtime data☆150Updated this week
- Erhalten Sie wichtige Warnmeldungen des Bevölkerungsschutzes für Gefahrenlagen wie zum Beispiel Gefahrstoffausbreitung oder Unwetter per …☆84Updated 2 years ago
- Arbeitszeitnachweis gem. Mindestlohngesetz☆32Updated 4 years ago
- Multi-platform messenger bot which provides updates on current COVID19 situation for Germany☆47Updated last year
- Anki-Deck Französisch 5000☆51Updated 2 weeks ago
- Tichy-Klicker☆29Updated this week
- Deutsche Bahn ticket price calendar.☆425Updated 3 weeks ago
- API for the German Parliament (Bundestag)☆39Updated 4 years ago
- Free and open public transport routing.☆395Updated this week
- Corporate Design der TU Dresden – beamer style and old poster class☆48Updated 4 years ago
- https://bahn.expert☆558Updated 4 months ago
- Froide Theme for fragdenstaat.de☆141Updated this week
- Browser Extension for higher productivity with TU Dresden IT-Services 🚀☆43Updated 2 weeks ago
- Der offizielle eID-Client des Bundes.☆597Updated 3 months ago
- Browser-based Tool to Visualize Public Transport Journeys☆63Updated 6 months ago