knowsys / TheoLog

Related projects ⓘ

Alternatives and complementary repositories for TheoLog

• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated 7 months ago
• bitkeks / theolog-ss2017
  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
• lino / serious-recipes
  Recipes
  ☆20Updated 4 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 2 years ago
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆29Updated last year
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆14Updated this week
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆35Updated 3 years ago
• tud-fop / j-Algo
  j-Algo is an algorithm visualisation tool.
  ☆11Updated 2 years ago
• KreerC / a11ybuddy
  A platform for documenting, testing and sharing about digital accessibility for developers and users alike. Let's get together!
  ☆28Updated 2 weeks ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆511Updated 6 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆62Updated this week
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆24Updated 2 weeks ago
• stustanet / wahlfang
  Wahl im Netz
  ☆21Updated last year
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆88Updated 6 months ago
• tud-cd / tudscr
  TUD-Script
  ☆106Updated 2 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆121Updated 3 weeks ago
• muesli-hd / muesli
  Mathematisches Übungsgruppen- und Scheinlisten-Interface
  ☆26Updated last year
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated 3 weeks ago
• marudor / bahn.expert
  https://bahn.expert
  ☆499Updated last week
• FachschaftMathPhysInfo / Ersti-Info
  Ersti-Info-Broschüre der Fachschaften Informatik, Mathematik und Physik
  ☆16Updated 2 months ago
• CatoTH / antragsgruen
  Motions, resolutions and amendments for political conventions
  ☆97Updated this week
• Jugendhackt / neulandeuphonie
  ☆20Updated 6 years ago
• ics-tools / ics.tools
  Ansammlung von Kalenderdateien für gesetzliche Feiertage sowie Schulferien der Bundesländer
  ☆37Updated last month
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated 7 months ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆30Updated 3 weeks ago
• d-koppenhagen / latex-rechnung
  Eine LaTeX-Rechnungsvorlage.
  ☆146Updated last year
• engelsystem / engelsystem
  Shift planning system for chaos events.
  ☆445Updated this week
• Traewelling / line-colors
  This repository collects German public transport line colors.
  ☆30Updated this week
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated last year
• rohieb / bottle-clip-name-tag
  A name tag that can easily be clipped to the neck of your bottle
  ☆27Updated 6 months ago