Collection of solutions for OSUE fall semester 2020 [TU Wien]
☆19Jul 2, 2021Updated 5 years ago
Alternatives and similar repositories for OSUE-2020
Users that are interested in OSUE-2020 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An unofficial Android and iOS App to search TU Wien employees and students.☆14Nov 26, 2022Updated 3 years ago
- ☆13Dec 3, 2020Updated 5 years ago
- A testsuite for the Übersetzterbau (compilers) lecture at TU Wien 2022S.☆13Jun 13, 2022Updated 4 years ago
- Strips useless pages from TU Wien PDFs☆12Jun 1, 2023Updated 3 years ago
- cooperative testcases for ueb☆17Jun 12, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- OSUE exercises☆27Oct 10, 2022Updated 3 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- Course website☆22Mar 4, 2026Updated 4 months ago
- A better TISS calendar 🎉📅☆26May 25, 2026Updated last month
- A web interface and GraphQL API for your local unencrypted WhatsApp backup.☆23Jan 16, 2022Updated 4 years ago
- A calendar formatter for TISS☆11Jan 9, 2025Updated last year
- Our goal with this project is to create a simple, accessible tool that can be used for learning basic music theory at the fifth-grade lev…☆13Nov 6, 2020Updated 5 years ago
- vscode extension, add a file, ask gpt3.5 with all the files you pass into it up to 16k tokens☆14May 19, 2024Updated 2 years ago
- a git forge from the future-past☆229Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆23Apr 21, 2020Updated 6 years ago
- (Grease|Violent)monkey Userscripts☆38Jun 17, 2026Updated 2 weeks ago
- Syntax highlighting for Lex, Flex, Yacc and Bison in VSCode.☆22Jun 4, 2023Updated 3 years ago
- React vs Angular ? Why not both ! Micro frontend demo using Angular and React alongs with a NodeJS API☆26Jun 10, 2025Updated last year
- Custom DateAdapter for the Angular Material Datepicker component using the `date-fns` library.☆27Jul 14, 2023Updated 2 years ago
- Syntax highlighting provided by Neovim for Obsidian☆18Sep 4, 2024Updated last year
- ☆30Jun 9, 2026Updated 3 weeks ago
- Fluent for Steam. A simple skin for steam to make it look like windows 11.☆34May 2, 2023Updated 3 years ago
- A list view widget for egui.☆15May 28, 2024Updated 2 years 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.
- Helm chart to deploy Kellnr on kubernetes☆15Jun 25, 2026Updated last week
- Open tools for the TGI course at the TU Vienna☆13Mar 8, 2023Updated 3 years ago
- SIMBL plugin to hide the traffic lights on Mac OS X☆15Apr 7, 2012Updated 14 years ago
- A tracing Layer for syslog☆15Feb 13, 2026Updated 4 months ago
- bridges the log crate and indicatif to stop the progress bars and log lines from mixing up☆13Aug 24, 2024Updated last year
- ZSH plugin to display duration of command☆35Jun 8, 2021Updated 5 years ago
- A handwritten scientific calculator for interpreting equations.☆40Oct 31, 2024Updated last year
- Rust derive macros for automating the boring stuff.☆14Aug 3, 2025Updated 11 months ago
- ☆31Jul 27, 2012Updated 13 years 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.
- ☆14Aug 13, 2024Updated last year
- ☆17Nov 19, 2021Updated 4 years ago
- My dotfiles from my Arch installation☆30Mar 2, 2026Updated 4 months ago
- VATSim (Sweden, Unofficial) Integrated Real-time Information System☆13Jun 27, 2026Updated last week
- Final Version of the AI Tutorial App☆12May 25, 2024Updated 2 years ago
- A reliable robots.txt generator for Astro projects, offering zero-config setup and Verified Bots support.☆19Dec 16, 2024Updated last year
- Free Qt5 Application to download airport navigational charts☆11Mar 5, 2019Updated 7 years ago