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
- A LaTeX package for typesetting (potentially long) recipes.☆40Updated 4 years ago
- ☆76Updated last year
- Traewelling-inspired journey logger with realtime data☆159Updated last week
- Online event coordination and survey application☆354Updated 5 months ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- TUD-Script☆112Updated last year
- Tichy-Klicker☆29Updated last week
- A website providing links, redirects and tools related to the Technical University Munich☆97Updated 3 weeks ago
- ☆20Updated 7 years ago
- Unleash public transport data in your Java project.☆412Updated last month
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago
- https://bahn.expert☆573Updated 6 months ago
- Latex Bewerbungsvorlage☆225Updated 11 months ago
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 3 years ago
- Tagging support code for LaTeX☆71Updated 2 weeks ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆348Updated 2 years ago
- Bist du schon drin?☆41Updated 8 months ago
- Motions, resolutions and amendments for NGOs and political conventions☆122Updated this week
- Extensions for the biblatex standard styles☆27Updated 2 months ago
- The microtype package☆107Updated last month
- The Supreme Information Providing Application☆13Updated 2 weeks ago
- Free check-in service to log your public transit journeys☆321Updated this week
- collection of train plushies☆17Updated 4 months ago
- Grundgesetz für die Bundesrepublik Deutschland☆528Updated 7 years ago
- Central hub for canteen information (meals, location ...)☆78Updated this week
- Bundesgesetze und -verordnungen☆1,833Updated 2 years ago
- This app allows you to read the current balance of cards manufactured by Intercard and Magnacarta via NFC.☆122Updated last year
- A LaTeX companion for PDF Presenter Console (pdfpc)☆20Updated last month