knowsys / TheoLogLinks
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
☆24Updated 10 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
- TUD-Script☆108Updated 9 months ago
- Webseite zu dem DeinWal.de Projekt☆64Updated 2 years ago
- j-Algo is an algorithm visualisation tool.☆11Updated 3 years ago
- 📦 Lernstoffsammlung der Informatik☆69Updated 2 weeks ago
- Das Mörderspiel -- Es ist doch bloß ein Spiel!☆20Updated 6 years ago
- Traewelling-inspired journey logger with realtime data☆148Updated this week
- collection of train plushies☆17Updated last month
- Strichliste Backend☆26Updated 6 months ago
- Android App Which Shows Details about CWA Exposures (Requires Root or CCTG or RaMBLE Apps)☆130Updated 3 years ago
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆26Updated this week
- The Supreme Information Providing Application☆13Updated 2 months ago
- [Deprecated] A simple web application to manage online programming assignments☆28Updated last year
- Tichy-Klicker☆29Updated 7 months ago
- Statistische Analyse und Visualisierung der täglichen Diagnoseschlüssel der deutschen COVID-19 Tracing-App (Corona-Warn-App).☆91Updated 2 years ago
- This repo represents the hugo source of our Matrix documentation site: https://doc.matrix.tu-dresden.de/☆30Updated 9 months ago
- ☆77Updated 11 months ago
- ⚖️ Wir öffnen das Bundesgesetzblatt☆88Updated 2 years ago
- ☆20Updated 7 years ago
- XMPP bot that sends messages from the NINA app☆16Updated last year
- Central hub for canteen information (meals, location ...)☆78Updated last week
- 🚏🚍 A collection of links and tools regarding the VVO/DVB network☆94Updated 2 weeks ago
- Froide Theme for fragdenstaat.de☆140Updated this week
- Beste Seite mit wichtigen Inhalten.☆12Updated last year
- Lecture Live Subtitles System (L2S2)☆20Updated 6 years ago
- Some of the stickers might unsettle you.☆140Updated 5 months ago
- SVG-based Tool to Animate Maps of Public Transport Networks☆111Updated last year
- CoraLibre-android-sdk fork of prestandard DP-3T to make compatible with the Google/Apple protocol☆127Updated 4 years ago
- Browser-based Tool to Visualize Public Transport Journeys☆63Updated 5 months ago