Pinned Repositories
Alloy2RelSMT
This is Alloy2RelSMT, a converter. It translates Alloy models into SMT files with a specific relational theory.
empswtnotes
This repository contains notes to some of my classwork at KIT.
FSMI-Paintball-Turnierplan
Der Turnierplan-Generator für die Fachschaft Mathe/Info des KIT (vormals Uni Karlsruhe)
GermanWindowsConsole
Dieses Snippet zeigt, wie man in einer Konsole deutsche Umlaute anzeigen kann.
SmartShutdown
This program shuts down your PC automatically after checking some rules.
VIPS
Segment a website using the pageanalyzer.dll in C#
Wallpaperfun
Tiny windows app to swap your wallpaper randomly. Put in a folder with .JPG images and run.
jonnybest's Repositories
jonnybest/VIPS
Segment a website using the pageanalyzer.dll in C#
jonnybest/FSMI-Paintball-Turnierplan
Der Turnierplan-Generator für die Fachschaft Mathe/Info des KIT (vormals Uni Karlsruhe)
jonnybest/Alloy2RelSMT
This is Alloy2RelSMT, a converter. It translates Alloy models into SMT files with a specific relational theory.
jonnybest/empswtnotes
This repository contains notes to some of my classwork at KIT.
jonnybest/GermanWindowsConsole
Dieses Snippet zeigt, wie man in einer Konsole deutsche Umlaute anzeigen kann.
jonnybest/SmartShutdown
This program shuts down your PC automatically after checking some rules.
jonnybest/Wallpaperfun
Tiny windows app to swap your wallpaper randomly. Put in a folder with .JPG images and run.
jonnybest/alicenlp-konkordanz
A tool for creating keyword-in-context (KWIC) overviews for a given corpus.
jonnybest/benchmark-results
jonnybest/IVAN-prototype-Java
This is the prototype for Input&Verify AliceNLP
jonnybest/jonnybest.github.io
jonnybest/MD5Encoder
A simple, awfully coded Encoder for Strings, creating MD5 and SHA-1 hashes. Use at own risk.
jonnybest/XmlIndenter
This program will re-indent any XML file.