KillerLink's repositories
Alpha
The Alpha solver for lazy-grounding Answer-Set Programming.
Language:JavaBSD-2-Clause000
Language:C++000
blackmagic
In application debugger for ARM Cortex microcontrollers.
Language:CGPL-3.0000
contiki
The official git repository for Contiki, the open source OS for the Internet of Things
Language:CNOASSERTION000
CTF-Seminar-Presentations
Presentations for the CTF Seminar
Language:Perl000
wordpress-google-font-replacements
A script and template for somewhat easy removal of loading fonts from google servers.
Language:ShellAGPL-3.0000
zephyr
Primary GIT Repository for the Zephyr Project
Language:CApache-2.0000