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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple NixOS module for ip whitelisting certain ports☆11Dec 4, 2024Updated last year
- macOS Finder Extension for Time Machine☆24Jun 11, 2025Updated 10 months ago
- (Mirror) Encrypted e-mail storage over Garage☆25Updated this week
- Grayscale filter for android display with advanced options☆10Dec 7, 2019Updated 6 years ago
- The podcast client for your mobile phone. Licensed under the GPLv2 license.☆10Jan 5, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- API docs for developer.exist.io☆18Jul 22, 2022Updated 3 years ago
- Moved to https://codeberg.org/java-gi/examples☆25Mar 7, 2026Updated 2 months ago
- Streaming music player for iOS and macOS, supporting local and remote storage (e.g. Apple Music, iCloud, Nextcloud, etc.)☆28May 11, 2025Updated 11 months ago
- Extract color palettes from your images☆33Apr 2, 2026Updated last month
- 🐚 Soothing pastel theme for nushell☆46Dec 24, 2025Updated 4 months ago
- Write declarative components in Rust with Gtk4☆25Dec 24, 2023Updated 2 years ago
- Material design inspired themes for ProtonMail Web Client☆35Nov 28, 2018Updated 7 years ago
- A beautiful and classic looking Christmas Card in EB Garamond and LaTeX☆28Dec 1, 2021Updated 4 years ago
- ☆31Apr 14, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Rewrite HTTP hosts to HTTPS whenever possible☆41Jun 1, 2020Updated 5 years ago
- Build and host a Flatpak repository☆49Mar 30, 2026Updated last month
- Terraform provider to create and manage k0s Kubernetes clusters, using embedded k0sctl☆28Jul 23, 2025Updated 9 months ago
- A feature-rich Hugo theme ported from Hugo Bear Blog, originally based on ʕ•ᴥ•ʔ Bear Blog, offering upvote buttons, elegant TOC, and UX r…☆81Nov 3, 2025Updated 6 months ago
- Restream live content as HLS using ffmpeg in docker. Also with NVIDIA GPU hardware acceleration.☆48Oct 4, 2022Updated 3 years ago
- Themes for Protonmail.com - Thoughtfully created.☆51May 25, 2021Updated 4 years ago
- A GNOME Shell Extension to Tweak animations and customize them☆68Apr 15, 2022Updated 4 years ago
- Basic load-balancer for forwarding Tailscale TCP traffic☆68Jul 28, 2025Updated 9 months ago
- speed up gnome-shell animations☆89Mar 11, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Cat with prey detection on Raspberry Pi. Lock cat pet flap if prey is detected. Object detection implemented in TFLite with ImageNet v1 S…☆87Apr 16, 2023Updated 3 years ago
- A HashiCorp Vault plugin for managing Tailscale authentication keys☆90Dec 18, 2023Updated 2 years ago
- An 'alt+space' launcher for Windows☆85Apr 14, 2019Updated 7 years ago
- klipper-lb but Tailscale. A Kubernetes load balancer controller to provide LoadBalancers a Tailscale endpoint.☆66Feb 3, 2023Updated 3 years ago
- Automatically change Firefox's theme based on the time☆149Jun 8, 2024Updated last year
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆135Jul 18, 2023Updated 2 years ago
- Deploy a Kubernetes cluster for free, using k3s and Oracle always free resources☆260Jul 9, 2025Updated 10 months ago
- NixOS configuration for my personal computers☆183Updated this week
- Build your Flatpak application using Github Actions☆207Apr 23, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🏕 📦 Backup Interface for Volumes Attached to Containers☆362Mar 18, 2026Updated last month
- internet communication for factorio mods☆375Apr 24, 2026Updated 2 weeks ago
- Theme applications with your favourite base16 colorschemes in Nix☆280Aug 21, 2025Updated 8 months ago
- Sketch anything using characters☆383Mar 22, 2026Updated last month
- Adblocking dns, Uncensored dns server and Adult-filter dns. Supports Dns-over-QUIC , Dns-over-HTTPS and Dns-over-TLS with DNSSEC enabled …☆172May 27, 2023Updated 2 years ago
- Restatic - A Boring Open Source GUI for Restic Backup☆195Dec 6, 2020Updated 5 years ago
- Terraform module to manage a k3s cluster on given machines☆204Updated this week