vs-uulm / latexslides-uulm
Template for LaTeX beamer slides using #uulm corporate design.
☆14Updated 2 years ago
Alternatives and similar repositories for latexslides-uulm:
Users that are interested in latexslides-uulm are comparing it to the libraries listed below
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆18Updated 4 years ago
- HotCRP conference review software☆343Updated this week
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆50Updated 4 months ago
- ☆21Updated 7 years ago
- GNUPlot Examples☆69Updated 4 years ago
- New template for ACM Conferences (acmart / sigconf)☆27Updated last year
- This Is Indian Country - Spring 2018 Instance☆12Updated 6 years ago
- Quick start for modern LaTeXing for an IEEE conference☆97Updated this week
- A (GCC) compiler plugin for multiversing functions☆20Updated 2 years ago
- 5GTANGO Smart Manufacturing Pilot☆13Updated last year
- SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.☆23Updated 7 months ago
- AutoBib: create beautiful bib files and html publication pages automagically☆14Updated 9 months ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆31Updated 6 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆9Updated 4 years ago
- Github repo backing website for the CS Assistant Professor Handbook☆26Updated 5 months ago
- TikZ library for network shapes such as routers, switches, etc.☆47Updated 8 years ago
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads☆17Updated last year
- Main repository of the Vigor NF verification project.☆47Updated 3 years ago
- An implementation of a SAT solver using the CUDA library☆15Updated 7 years ago
- MAGE: Memory-Aware Garbling Engine☆26Updated 6 months ago
- This utility implements a software power meter using RAPL☆21Updated 8 years ago
- rules for writing and typesetting☆24Updated 3 years ago
- Interactive publications lists with JavaScript + Bibtex☆132Updated 5 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Updated 3 years ago
- Implementation based on OSDI paper☆19Updated 6 years ago
- Notary: A Device for Secure Transaction Approval 📟☆28Updated last year
- GPU Optimization and Memory Abstraction Framework☆32Updated 5 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆117Updated last month
- Course web page generator framework☆28Updated 12 years ago