An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the current system, so this code is effectively obsolete.)
☆11Apr 22, 2018Updated 7 years ago
Alternatives and similar repositories for kitcard-reader
Users that are interested in kitcard-reader are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dockerfile to create Homegear images☆10Sep 15, 2025Updated 6 months ago
- A fork of the original command line podcast downloader by Jonathan Baker (http://the-node.org)☆27Sep 16, 2017Updated 8 years ago
- Automated WiFi testing using OpenWRT & wpa_supplicant☆17Jan 28, 2016Updated 10 years ago
- A collection of scripts to help manage users and groups in LDAP☆11Mar 22, 2016Updated 10 years ago
- View the GPN19 Fahrplan in your terminal☆12Dec 27, 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 and start building anything your business needs.
- ☆16May 17, 2018Updated 7 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Dec 2, 2025Updated 4 months ago
- ☆16Dec 1, 2023Updated 2 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆21Jun 26, 2021Updated 4 years ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 5 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- My Blog about User Interface- and Functional Programming.☆15May 7, 2023Updated 2 years ago
- Highly efficient file backup system based on the git packfile format. Capable of doing incremental backups of virtual machine images.☆17Oct 26, 2013Updated 12 years ago
- A kernel-module proxying/relaying RTP/RTCP network traffic.☆13Mar 21, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Own your miles, share your journey.☆59Jan 18, 2026Updated 2 months ago
- ☆10May 22, 2023Updated 2 years ago
- A tutorial for Gjs/GTK+ 3 development, based on https://github.com/sebp/PyGObject-Tutorial☆14Mar 2, 2020Updated 6 years ago
- Meetup in Bochum for Nix/NixOS users and those who want to become one☆20Jun 24, 2024Updated last year
- A tool for verifying transitions in cryptographic game-hopping proofs☆18Updated this week
- FxQRL is a Firefox add-on that turns your URLs into QR code images without network connection.☆18Jun 29, 2018Updated 7 years ago
- Handy features you wish were already added in vanilla.☆11Apr 19, 2021Updated 4 years ago
- A Cryptographic Investigation of Secure Scuttlebutt. Summer Internship in Symbolic Software.☆21Sep 16, 2019Updated 6 years ago
- Automated pipeline to create a printable hitster cards from your spotify playlist☆28Mar 4, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- PureScript Language Support for Visual Studio Code☆18Jul 20, 2025Updated 8 months ago
- Source code to execute signal injection attacks against CCD image sensors☆11Aug 26, 2021Updated 4 years ago
- Prometheus Service Discovery for Docker Container.☆11Mar 20, 2026Updated 2 weeks ago
- Script for moving face detection info from Picasa to Lightroom☆22Apr 26, 2013Updated 12 years ago
- Downloader for https://ilias.studium.kit.edu/☆49Mar 11, 2026Updated 3 weeks ago
- An open-source VHDL library for FPGA design.☆32Jun 2, 2022Updated 3 years ago
- api for rrdtool graphics per sensors + graphics from archive.luftdaten.info☆19Oct 1, 2018Updated 7 years ago
- ☆22Mar 26, 2026Updated last week
- Collection of AI conferences☆14Aug 16, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 years ago
- ａｅｓｔｈｅｔｉｃ ｔｅｘｔ ｇｅｎｅｒａｔｏｒ☆11Apr 7, 2017Updated 9 years ago
- System for sending keyboard input☆10Sep 2, 2016Updated 9 years ago
- This repository holds the source code for https://kitctf.de/.☆10Mar 12, 2026Updated 3 weeks ago
- Linked Data Browser for Firefox☆23Jun 3, 2016Updated 9 years ago
- Sign up management for the language courses at the KIT Sprachenzentrum.☆12Sep 4, 2025Updated 7 months ago
- Matrix bot to help with community management☆24Sep 14, 2025Updated 6 months ago