luhsra / vorlesung-psuLinks
Folien und Skript zur Vorlesung "Programmiersprachen und Übersetzer"
☆13Updated last year
Alternatives and similar repositories for vorlesung-psu
Users that are interested in vorlesung-psu are comparing it to the libraries listed below
Sorting:
- ☆276Updated 3 weeks ago
- Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2☆356Updated 3 years ago
- The [ARM] Assembler language definition for the latex listings package☆26Updated 5 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- A latex package to draw cute rubber ducks with TikZ☆190Updated last week
- Language definitions and styles for listings in LaTeX.☆68Updated 3 months ago
- Moderne Deutsche Briefvorlage für LaTeX (scrlttr2)☆109Updated 8 years ago
- Manage GitLab for Labs from the Command Line☆11Updated last month
- A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany☆13Updated 6 months ago
- Mitschriften aus Vorlesungen (Mathematik/Informatik) an der Uni Jena☆16Updated 3 years ago
- C Bounded Model Checker☆996Updated this week
- Mensas erste nützliche Schlangen-Abmessungssoftware☆29Updated 3 years ago
- Wahl im Netz☆22Updated 2 years ago
- A Rust language and style specification for the LaTeX-package listings☆188Updated 2 years ago
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated this week
- OSUE exercises☆26Updated 3 years ago
- The LaTeX magazine class that doesn’t get in your way.☆30Updated 5 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆274Updated this week
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 6 years ago
- Downloader for lecture videos hosted on OpenCast☆20Updated 5 years ago
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆448Updated 3 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Synchronization client for RWTH Moodle☆78Updated last month
- 📘 Unofficial command line client for dict.cc☆161Updated 3 years ago
- Im Datensatz "SARS-CoV-2-Sequenzdaten aus Deutschland" umfasst vollständige Virusgenomsequenzen sowie zugehörige Metadaten aus bundesweit…☆69Updated last week
- Tichy-Klicker☆29Updated 3 months ago
- Theme for zola inspired by hugo academic theme.☆29Updated 2 months ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆65Updated this week
- The package lets the user mark things to do later, in a simple and and visually appealing way.☆182Updated last year
- Customize enumerate, itemize and description☆56Updated 10 months ago