OSUE exercises
☆27Oct 10, 2022Updated 3 years ago
Alternatives and similar repositories for exercises
Users that are interested in exercises are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OSUE Wiki and GitHub Page of osue-tuwien☆15Mar 11, 2016Updated 10 years ago
- Collection of solutions for OSUE fall semester 2020 [TU Wien]☆19Jul 2, 2021Updated 4 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- solutions to the operating systems course at the tu wien☆14Jan 2, 2026Updated 5 months ago
- Browser extension to automatically register in TISS☆59Mar 22, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Dec 3, 2020Updated 5 years ago
- ☆11Mar 14, 2025Updated last year
- Might eventually replace termfilechooser☆26May 31, 2026Updated 2 weeks ago
- Enable custom gestures in UWP XAML apps☆12Dec 11, 2018Updated 7 years ago
- Flow Frame is a new and improved Frame control. This builds upon the default frame control by providing high-performance page transition …☆16Jan 5, 2024Updated 2 years ago
- a simple zero-configuration command-line http server☆15Jun 10, 2022Updated 4 years ago
- CodeDraw is a beginner-friendly drawing library which can be used to create pictures, animations and even interactive applications.☆26Apr 18, 2026Updated 2 months ago
- A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.☆16Nov 11, 2021Updated 4 years ago
- Wrapper around PhoneOm.dll for WinRT☆17Jul 16, 2022Updated 3 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.
- A calendar formatter for TISS☆11Jan 9, 2025Updated last year
- NO LAYERS DIRECT EXAMPLES☆14Sep 17, 2024Updated last year
- Mewl, program in cats' language; A just-for-fun language☆18Sep 20, 2022Updated 3 years ago
- OffenesParlament.at☆23May 19, 2019Updated 7 years ago
- Large scale server deploys using BitTorrent and the BitTornado library☆11Sep 25, 2018Updated 7 years ago
- Source code for Witchcraft by Pegboard Nerds and Logicoma☆19Feb 8, 2019Updated 7 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 7 months ago
- Subscribe to a public Notion page for changes and run a command on every detected change☆13Apr 6, 2021Updated 5 years ago
- A Jass game (popular in Switzerland) done in .Net MAUI☆15Sep 9, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Forge your own CTF☆48Jun 29, 2021Updated 4 years ago
- Appimage build for wxmaxima☆15Nov 24, 2025Updated 6 months ago
- Enable inline design-time data in UWP projects☆22Mar 4, 2021Updated 5 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 9 months ago
- Fair Fun Fast Ledger in the browser - starting with the network using WebRTC data.☆20Apr 7, 2026Updated 2 months ago
- Implement Texas flash protocol for CCxxxx chips.☆10Oct 6, 2022Updated 3 years ago
- My implementation for the compiler for the Tiger programming language from Andrew W. Appels book, Modern Compiler Implementation in C.☆15Oct 14, 2020Updated 5 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆17Mar 26, 2026Updated 2 months ago
- Blackwire overview, status, roadmap and top-level documentation.☆17Aug 21, 2023Updated 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.
- 🦛 A selection of financial calculators used on the Finanzfluss Website☆46Jun 12, 2026Updated last week
- ☆12Sep 11, 2022Updated 3 years ago
- Daily update on Coronavirus data for Austria☆17Sep 20, 2022Updated 3 years ago
- The Android Debug Bridge Protocol, implemented in C# / .NET☆29Aug 10, 2024Updated last year
- Peter "blasty" Geissler's upc_keys.c with custom prefix support and Lambda sauce☆16Mar 21, 2017Updated 9 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆38Apr 7, 2026Updated 2 months ago
- Automatically compress podcasts to tiny file sizes for bandwidth constrained devices like cellular.☆10May 5, 2023Updated 3 years ago