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☆25Jul 11, 2023Updated 2 years ago
- TOSCA transformer build by students at the University of Stuttgart☆10Jun 15, 2020Updated 5 years ago
- A simple NixOS module for ip whitelisting certain ports☆11Dec 4, 2024Updated last year
- ☆12Dec 27, 2023Updated 2 years ago
- A mobile dictionary application for SailfishOS☆13Nov 2, 2021Updated 4 years ago
- Moved to https://codeberg.org/java-gi/examples☆25Updated this week
- Extract color palettes from your images☆31Sep 24, 2025Updated 5 months ago
- Singer Tap for PostgreSQL☆25Updated this week
- ☆19Updated this week
- 🐚 Soothing pastel theme for nushell☆43Dec 24, 2025Updated 2 months ago
- Provides a client to access snapd, which allows you to manage, search and install snaps on a Linux system.☆32Feb 3, 2026Updated last month
- Write declarative components in Rust with Gtk4☆25Dec 24, 2023Updated 2 years ago
- ☆36Mar 9, 2018Updated 8 years ago
- ☆37Sep 24, 2025Updated 5 months ago
- Build and host a Flatpak repository☆47Mar 2, 2026Updated last week
- A feature-rich Hugo theme ported from Hugo Bear Blog, originally based on ʕ•ᴥ•ʔ Bear Blog, offering upvote buttons, elegant TOC, and UX r…☆71Nov 3, 2025Updated 4 months ago
- Depecher - Unofficial Sailfish OS client for Telegram based on tdlib☆44Apr 28, 2020Updated 5 years ago
- Eclipse Winery project☆51Mar 2, 2026Updated last week
- User-friendly and fully-featured IRC client☆54Updated this week
- ☆52Apr 5, 2022Updated 3 years ago
- Basic load-balancer for forwarding Tailscale TCP traffic☆68Jul 28, 2025Updated 7 months ago
- klipper-lb but Tailscale. A Kubernetes load balancer controller to provide LoadBalancers a Tailscale endpoint.☆65Feb 3, 2023Updated 3 years ago
- Themes for Protonmail.com - Thoughtfully created.☆51May 25, 2021Updated 4 years ago
- A HashiCorp Vault plugin for managing Tailscale authentication keys☆89Dec 18, 2023Updated 2 years ago
- A GNOME Shell Extension to Tweak animations and customize them☆68Apr 15, 2022Updated 3 years ago
- speed up gnome-shell animations☆88Oct 6, 2025Updated 5 months ago
- Various plugins and scripts for various programs.☆105Jul 13, 2019Updated 6 years ago
- A Raspberry Pi CPU temperature exporter.☆87Jan 19, 2024Updated 2 years ago
- 🚜 Bulldohzer is a performance measurement tool for DNS. It supports DNS-over-HTTPS (DoH) and DNS-over-UDP (Do53).☆127May 5, 2020Updated 5 years ago
- NixOS configuration for my personal computers☆174Updated this week
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Jul 18, 2023Updated 2 years ago
- gydl (Graphical YouTube-Download) is a GUI wrapper around yt-dlp.☆156Nov 28, 2025Updated 3 months ago
- Build your Flatpak application using Github Actions☆198Jan 22, 2026Updated last month
- grafana.grafana Ansible collection provides modules and roles for managing various resources on Grafana Cloud and roles to manage and dep…☆228Updated this week
- Terraform module to manage a k3s cluster on given machines☆204Updated this week
- Restatic - A Boring Open Source GUI for Restic Backup☆195Dec 6, 2020Updated 5 years ago
- Deploy a Kubernetes cluster for free, using k3s and Oracle always free resources☆257Jul 9, 2025Updated 8 months ago
- Theme applications with your favourite base16 colorschemes in Nix☆273Aug 21, 2025Updated 6 months ago
- Sketch anything using characters☆343Nov 28, 2025Updated 3 months ago