SoftVarE-Group / SlideTemplateLinks
A beamer latex template for slides and lectures at University of Ulm
☆12Updated last year
Alternatives and similar repositories for SlideTemplate
Users that are interested in SlideTemplate are comparing it to the libraries listed below
Sorting:
- Sophisticated static program analysis framework for the R programming language.☆64Updated this week
- ☆13Updated 9 years ago
- Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines☆9Updated 2 weeks ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- 🐧 Penguins in LaTeX with TikZ☆79Updated this week
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆53Updated 9 months ago
- Die Städte Bonn und Münster haben ein Musterlastenheft zur Datensouveränität entworfen, das zur einfacheren Zusammenarbeit in diesem Gith…☆19Updated 2 years ago
- "Living" version of the Berlin Open Data Handbook (German)☆24Updated 7 months ago
- A program for making zooming slides in figma.☆37Updated 3 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- Bottom-Up Technologies for Reuse☆18Updated 2 years ago
- SMTInterpol interpolating SMT solver☆66Updated this week
- Archiv von Datenbank-Dumps des RKI-COVID19-Dashboards mit täglicher automatisierter Aktualisierung.☆13Updated 2 years ago
- ☆12Updated 9 months ago
- LaTeX package for showing timelines☆13Updated 2 years ago
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆41Updated 3 weeks ago
- TurnKey artifact for Z3☆38Updated 3 weeks ago
- RKI-Corona-Daten-Archiv☆48Updated 2 years ago
- This citation-style covers the citation and bibliography rules of the German Archaeological Institute. Various options …☆10Updated last year
- ☆27Updated 4 years ago
- A Coq formalisation of the R programming language☆10Updated 2 years ago
- senseBox documentation as beautiful books☆11Updated 2 years ago
- Routing and analysis engine for GTFS (General Transit Feed Specification) data☆91Updated last week
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated 8 months ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- A fast and simple automata library☆26Updated this week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Saarland Beamer Theme☆64Updated 6 years ago
- This repository contains data visualizations based on RKI and DIVI using kepler.gl☆26Updated 3 years ago