Popular repositories

1. MCMyAuth MCMyAuth Public archive

   Custom lightweight minecraft authentication system (historic, not updated)

   Ruby 13 5

2. x11remote x11remote Public

   Mouse and keyboard remote control for X11 systems implemented as a HTML5 web app for touchscreen devices.

   JavaScript 10 3

3. sdl2-cairo sdl2-cairo Public

   Haskell library providing functions to use Cairo to draw on SDL textures and containing a Processing-style convenience drawing API.

   Haskell 8 3

4. flat-checker flat-checker Public archive

   SMT-based prototype model checker for LTL with counting that uses flat underapproximations of counter systems (my master's thesis).

   Haskell 4 1

5. python-app-template python-app-template Public archive

   A Python project template. Archived in favor of the fair-python-cookiecutter template.

   Python 4 1

6. APConsoleLib APConsoleLib Public archive

   An extremely lightweight alternative for ncurses etc. for windows and linux, wrapping functions for setting color, getting keypresses and getting/setting console size and cursor location (just comp…

   C 2