knowsys / TheoLogLinks
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
☆24Updated last year
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 8 years ago
- https://bahn.expert☆577Updated 7 months ago
- Traewelling-inspired journey logger with realtime data☆160Updated last week
- ☆76Updated last year
- Online event coordination and survey application☆354Updated 6 months ago
- collection of train plushies☆17Updated last week
- Grundgesetz für die Bundesrepublik Deutschland☆529Updated 7 years ago
- A LaTeX package for typesetting (potentially long) recipes.☆40Updated 4 years ago
- Browser-based Tool to Visualize Public Transport Journeys☆64Updated last month
- Corporate Design der TU Dresden – beamer style and old poster class☆51Updated 4 years ago
- Der offizielle eID-Client des Bundes.☆619Updated 3 weeks ago
- Tichy-Klicker☆29Updated last month
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- Wahl im Netz☆22Updated last year
- This app allows you to read the current balance of cards manufactured by Intercard and Magnacarta via NFC.☆123Updated last year
- A website providing links, redirects and tools related to the Technical University Munich☆98Updated 2 weeks ago
- Central hub for canteen information (meals, location ...)☆78Updated this week
- Free and open public transport routing.☆438Updated this week
- DOWNLOAD HERE: https://github.com/RobertKrajewski/Sync-my-L2P/releases/latest☆82Updated 7 months ago
- Motions, resolutions and amendments for NGOs and political conventions☆123Updated this week
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆349Updated 2 years ago
- LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.☆252Updated 4 years ago
- Tübix website (Hugo)☆13Updated 2 months ago
- Eine LaTeX-Rechnungsvorlage.☆154Updated 2 years ago
- Programmierparadigmen-Tutorium 2022WS☆28Updated 2 years ago
- Lecture Live Subtitles System (L2S2)☆20Updated 7 years ago
- A LaTeX companion for PDF Presenter Console (pdfpc)☆20Updated 2 months ago
- Bist du schon drin?☆41Updated 8 months ago
- ☆12Updated 6 months ago