Alternatives and similar repositories for Zusammenfassungen

Users that are interested in Zusammenfassungen are comparing it to the libraries listed below

• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• Digital-Media / HagenbergThesis
  Hagenberg LaTeX Thesis Template
  ☆211Updated 2 weeks ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆60Updated this week
• spethso / Abgabentemplate
  Inoffizielles Template für Abgaben an der Universität Stuttgart, Fachbereich Informatik
  ☆29Updated 5 years ago
• UBA-PSI / psi-thesis-guide
  Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables
  ☆54Updated 10 months ago
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆42Updated last week
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆51Updated 2 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆62Updated 2 weeks ago
• Jupiterrr / Vorlesungsverzeichnis
  Website for students of the Karlsruhe Institute of Technology (KIT).
  ☆50Updated 9 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 3 months ago
• ne0h / vorlesungen
  Zusammenfassung einiger Vorlesungen, die ich gehört habe.
  ☆20Updated 6 years ago
• pkern / kitcard-reader
  An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the curren…
  ☆11Updated 7 years ago
• jens-ox / elementare-geometrie
  Aufschrieb zur Vorlesung "Elementare Geometrie", gehört bei Prof. Leuzinger im Wintersemester 2017/2018. Keine Garantie auf Richtigkeit/V…
  ☆13Updated 6 years ago
• timjb / uni-spicker
  Summaries of my university courses (in German)
  ☆26Updated 5 years ago
• moepinet / moeptikz
  TikZ library for network shapes such as routers, switches, etc.
  ☆51Updated 9 years ago
• tikzit / tikzit
  pgf/TikZ diagram editor
  ☆1,187Updated last year
• pedromigueladao / SSof
  Public Repo for Software Security Course@IST
  ☆20Updated 6 years ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 2 years ago
• mammuth / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆144Updated last year
• fwalch / tum-thesis-latex
  A LaTeX template for TUM Bachelor/Master theses.
  ☆463Updated 2 years ago
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 2 years ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated this week
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• omareldeeb / tum-moodle-downloader
  A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/
  ☆30Updated last year
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆737Updated this week
• hipsleek / hipsleek
  ☆12Updated 5 months ago
• TUM-Dev / Campus-Android
  Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.
  ☆208Updated last year
• boogie-org / boogie
  Boogie
  ☆551Updated this week