Skript zur Vorlesung "Sicherheit" am KIT.
☆43Dec 10, 2021Updated 4 years ago
Alternatives and similar repositories for skript
Users that are interested in skript are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Test collection for KIT programming assignments (WS16/17)☆17Mar 24, 2017Updated 9 years ago
- Zusammenfassung einiger Vorlesungen, die ich gehört habe.☆20Aug 8, 2019Updated 6 years ago
- Programmierparadigmen-Tutorium 2022WS☆28Feb 14, 2023Updated 3 years ago
- Website for students of the Karlsruhe Institute of Technology (KIT).☆50Mar 20, 2016Updated 10 years ago
- Lernmaterialien LA I/II☆35Oct 21, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tichy-Klicker☆31Feb 28, 2026Updated 3 months ago
- ☆10Jul 25, 2025Updated 10 months ago
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆28Jun 1, 2026Updated last week
- At last, a FUSE filesystem for ILIAS at the KIT☆18Dec 8, 2022Updated 3 years ago
- Calorie counter for the command-line with 8,000 food items (USDA)☆11Sep 21, 2017Updated 8 years ago
- Team Contest Reference and additional material for Team ChaosKITs☆13Mar 6, 2020Updated 6 years ago
- A web application that checks code against a range of user submitted tests.☆33Mar 27, 2024Updated 2 years ago
- A collection of lexers for various languages, written in Rust.☆12Jun 21, 2016Updated 9 years ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆54Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Game to teach yourself where the streets of a city are, web/OSM-based☆12Dec 29, 2013Updated 12 years ago
- JFR to Firefox Profiler converter☆20Updated this week
- KaPoCE is a framework for solving the cluster editing problem that asks to transform an input graph into a cluster graph (a disjoint unio…☆11Dec 19, 2022Updated 3 years ago
- Sugar-coating for invoking shell commands directly from Rust.☆10Apr 6, 2016Updated 10 years ago
- A simple audio recorder for sailfish☆15Jul 23, 2020Updated 5 years ago
- ☆11May 2, 2019Updated 7 years ago
- Packed and Compressed Hash Tables☆15Apr 7, 2025Updated last year
- A shim that remaps volume mounts so they work when running docker on docker☆10May 19, 2026Updated 3 weeks ago
- How to use curl and other Bash tools to make a mirror of dmv.ca.gov "Report of Traffic Accident Involving an Autonomous Vehicle (OL 316)"…☆10Jun 22, 2017Updated 8 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.
- Programm zum Flotten, Einfachen Runterladen von Dateien☆176May 17, 2026Updated 3 weeks ago
- ☆13May 20, 2018Updated 8 years ago
- v1 of Org-roam. No longer actively maintained.☆13Jul 10, 2021Updated 4 years ago
- pass-server-node is a self hosted read-only portal to `pass`☆10Aug 31, 2016Updated 9 years ago
- LaTeX package to typeset Uppaal timed automata specifications☆13Dec 19, 2025Updated 5 months ago
- Implementation of FatSecret REST API. method.search & method.get☆14Apr 16, 2015Updated 11 years ago
- Write sandboxed integration tests for Java annotation processors and plugins.☆23Updated this week
- XMPP bridge for matrix.org☆17Feb 11, 2016Updated 10 years ago
- axolotl implementation in Qt☆12Sep 25, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Using LERC Cogs directly in maplibre as raster-dem sources☆18Jul 20, 2023Updated 2 years ago
- Docker image that provides Retroshare☆10Oct 23, 2023Updated 2 years ago
- High level IRC client library with ease of use in mind.☆16Dec 4, 2017Updated 8 years ago
- ☆36May 19, 2026Updated 3 weeks ago
- Digiexam Cheat☆11Sep 23, 2023Updated 2 years ago
- A lightweight Entity Component System☆15Feb 11, 2015Updated 11 years ago
- A GTK+ 3 Matrix client written in Rust [work in progress]☆66Jan 30, 2024Updated 2 years ago