trin94 / AuB17-18View external linksLinks
Vorlesungsmitschrift der Vorlesung Algorithmen und Berechenbarkeit (WS 17/18 - Uni Stuttgart)
☆17Jul 21, 2018Updated 7 years ago
Alternatives and similar repositories for AuB17-18
Users that are interested in AuB17-18 are comparing it to the libraries listed below
Sorting:
- Unofficial LaTeX template for Beamer presentations at the University of Stuttgart, Germany☆24Jul 11, 2023Updated 2 years ago
- A simple NixOS module for ip whitelisting certain ports☆11Dec 4, 2024Updated last year
- The podcast client for your mobile phone. Licensed under the GPLv2 license.☆10Jan 5, 2026Updated last month
- A mobile dictionary application for SailfishOS☆13Nov 2, 2021Updated 4 years ago
- Examples for Java-GI☆25Updated this week
- Extract color palettes from your images☆31Sep 24, 2025Updated 4 months ago
- ☆19Jan 5, 2026Updated last month
- Singer Tap for PostgreSQL☆25Updated this week
- Write declarative components in Rust with Gtk4☆25Dec 24, 2023Updated 2 years ago
- ☆36Mar 9, 2018Updated 7 years ago
- Free yourself from the chains of having to acknowledging Terms of Service (AGBs) every time you connect to a captive portal☆35May 30, 2023Updated 2 years ago
- Virtual desktop environment backend. WebRTC renderer.☆32Jun 16, 2024Updated last year
- Build and host a Flatpak repository☆46Feb 9, 2026Updated last week
- User-friendly and fully-featured IRC client☆53Feb 5, 2026Updated last week
- A GNOME Shell Extension to Tweak animations and customize them☆68Apr 15, 2022Updated 3 years ago
- speed up gnome-shell animations☆88Oct 6, 2025Updated 4 months ago
- Various plugins and scripts for various programs.☆105Jul 13, 2019Updated 6 years ago
- A list of community contributions.☆161Jan 6, 2026Updated last month
- NixOS configuration for my personal computers☆166Updated this week
- Automatically change Firefox's theme based on the time☆143Jun 8, 2024Updated last year
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Jul 18, 2023Updated 2 years ago
- Adblocking dns, Uncensored dns server and Adult-filter dns. Supports Dns-over-QUIC , Dns-over-HTTPS and Dns-over-TLS with DNSSEC enabled …☆166May 27, 2023Updated 2 years ago
- Build your Flatpak application using Github Actions☆198Jan 22, 2026Updated 3 weeks ago
- grafana.grafana Ansible collection provides modules and roles for managing various resources on Grafana Cloud and roles to manage and dep…☆226Jan 25, 2026Updated 3 weeks ago
- Synced stream and video playback with VOD capabilities utilizing HLS. Developed for movie nights but has many use cases.☆196Nov 4, 2023Updated 2 years ago
- Restatic - A Boring Open Source GUI for Restic Backup☆195Dec 6, 2020Updated 5 years ago
- Thunderbird add-on turning your emails into beautifully visualized email account stats.☆258Feb 10, 2026Updated last week
- On-demand transcoding origin server for live inputs and static files in Go using ffmpeg. Also with NVIDIA GPU hardware acceleration.☆283Jun 17, 2025Updated 8 months ago
- Theme applications with your favourite base16 colorschemes in Nix☆270Aug 21, 2025Updated 5 months ago
- Sketch anything using characters☆342Nov 28, 2025Updated 2 months ago
- An Ubuntu Desktop system settings app made with Flutter.☆288Oct 24, 2024Updated last year
- Rust bindings for GNOME libraries☆357Updated this week
- Paper backup generator suitable for long-term storage.☆1,432Oct 30, 2025Updated 3 months ago
- Ubuntu Yaru Flutter Theme☆332Feb 21, 2024Updated last year
- 🏕 📦 Backup Interface for Volumes Attached to Containers☆363Dec 18, 2025Updated 2 months ago
- Collection of macOS automation tools for Ansible.☆375Jan 4, 2026Updated last month
- Add a useless notch to your screen.☆939Mar 21, 2024Updated last year
- 🍫 Syncalicious☆434Dec 20, 2019Updated 6 years ago
- The FLExible Network Tester.☆492Sep 1, 2025Updated 5 months ago