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:
- A website providing links, redirects and tools related to the Technical University Munich☆93Updated 2 weeks ago
- ☆13Updated last year
- Tichy-Klicker☆29Updated 3 weeks ago
- A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/☆30Updated last year
- ☆77Updated last year
- An experimental raytracer in LaTeX☆30Updated 3 years ago
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆24Updated last year
- Manage GitLab for Labs from the Command Line☆11Updated 7 months ago
- Musterlösungen für Klausuraufgaben am KIT☆51Updated 2 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- TUD-Script☆110Updated 10 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 8 months ago
- Lets challenge coders and create the perfect tron bot!☆31Updated last year
- Moderne Deutsche Briefvorlage für LaTeX (scrlttr2)☆108Updated 7 years ago
- A simple interpreter for MiMa programs.☆8Updated 10 months ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated last year
- Browser-based Tool to Visualize Public Transport Journeys☆63Updated 7 months ago
- Programm zum Flotten, Einfachen Runterladen von Dateien☆152Updated 2 weeks ago
- Verifying the optimization phases of the GraalVM compiler☆13Updated 6 months ago
- ☆268Updated 3 years ago
- Downloader for lecture videos hosted on OpenCast☆20Updated 4 years ago
- The [ARM] Assembler language definition for the latex listings package☆24Updated 5 years ago
- seL4 specification and proofs☆553Updated this week
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆264Updated last week
- Language definitions and styles for listings in LaTeX.☆68Updated 4 years ago
- A web application that checks code against a range of user submitted tests.☆34Updated last year
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- All direct long-distance railway connections for cities in and beyond central Europe.☆386Updated 6 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated last week
- SMTscope automatically analyses and visualises SMT solver execution traces.☆39Updated 3 months ago