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 8 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 8 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16May 17, 2018Updated 8 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Dec 2, 2025Updated 6 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 3 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Unofficial MCP Server for Picnic☆72Apr 13, 2026Updated last month
- ☆11May 22, 2023Updated 3 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
- FxQRL is a Firefox add-on that turns your URLs into QR code images without network connection.☆18Jun 29, 2018Updated 7 years ago
- A Cryptographic Investigation of Secure Scuttlebutt. Summer Internship in Symbolic Software.☆21Sep 16, 2019Updated 6 years ago
- Handy features you wish were already added in vanilla.☆11Apr 19, 2021Updated 5 years ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆21Updated this week
- Own your miles, share your journey.☆66Jan 18, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Prometheus Service Discovery for Docker Container.☆11Mar 20, 2026Updated 2 months ago
- PureScript Language Support for Visual Studio Code☆18Jul 20, 2025Updated 10 months ago
- Source code to execute signal injection attacks against CCD image sensors☆11Aug 26, 2021Updated 4 years ago
- Script for moving face detection info from Picasa to Lightroom☆22Apr 26, 2013Updated 13 years ago
- Downloader for https://ilias.studium.kit.edu/☆48May 12, 2026Updated 3 weeks ago
- An open-source VHDL library for FPGA design.☆32Jun 2, 2022Updated 4 years ago
- api for rrdtool graphics per sensors + graphics from archive.luftdaten.info☆19Oct 1, 2018Updated 7 years ago
- ☆23Updated this week
- Collection of AI conferences☆14Aug 16, 2022Updated 3 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.
- 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/.☆10Updated this week
- Automated pipeline to create a printable hitster cards from your spotify playlist☆33Updated this week
- Linked Data Browser for Firefox☆24Jun 3, 2016Updated 10 years ago
- Sign up management for the language courses at the KIT Sprachenzentrum.☆12Sep 4, 2025Updated 9 months ago