apirogov

@Materials-Data-Science-and-InformaticsGermany

Pinned Repositories

APConsoleLib
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 compile and see the demo, it's pretty self-explanatory)... It provides just the most neccessary features and is just useful if you just need this kind of features... otherwise use something more 'complete'
Language:C2 2 10
Aphorism
Purely web-based AJAX instant messenger (discontinued)
Language:Ruby2 4 00
BinarySpacePartition
XMonad Layout (extended fork with more operations and improved semantics)
Language:Haskell1 2 00
cairo-canvas
A simpler drawing API for Cairo. Inspired by the Processing language.
Language:Haskell1 2 01
flat-checker
SMT-based prototype model checker for LTL with counting that uses flat underapproximations of counter systems (my master's thesis).
Language:Haskell4 4 01
MCMyAuth
Custom lightweight minecraft authentication system (historic, not updated)
Language:Ruby14 4 05
python-app-template
A Python project template. Archived in favor of the fair-python-cookiecutter template.
Language:Python4 1 11
sdl2-cairo
Haskell library providing functions to use Cairo to draw on SDL textures and containing a Processing-style convenience drawing API.
Language:Haskell8 2 13
x11remote
Mouse and keyboard remote control for X11 systems implemented as a HTML5 web app for touchscreen devices.
Language:JavaScript11 3 03

apirogov's Repositories

apirogov/MCMyAuth
Custom lightweight minecraft authentication system (historic, not updated)
Language:Ruby14 4 05
apirogov/x11remote
Mouse and keyboard remote control for X11 systems implemented as a HTML5 web app for touchscreen devices.
Language:JavaScript11 3 03
apirogov/sdl2-cairo
Haskell library providing functions to use Cairo to draw on SDL textures and containing a Processing-style convenience drawing API.
Language:Haskell8 2 13
apirogov/flat-checker
SMT-based prototype model checker for LTL with counting that uses flat underapproximations of counter systems (my master's thesis).
Language:Haskell4 4 01
apirogov/python-app-template
A Python project template. Archived in favor of the fair-python-cookiecutter template.
Language:Python4 1 11
apirogov/APConsoleLib
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 compile and see the demo, it's pretty self-explanatory)... It provides just the most neccessary features and is just useful if you just need this kind of features... otherwise use something more 'complete'
Language:C2 2 10
apirogov/Aphorism
Purely web-based AJAX instant messenger (discontinued)
Language:Ruby2 4 00
apirogov/BinarySpacePartition
XMonad Layout (extended fork with more operations and improved semantics)
Language:Haskell1 2 00
apirogov/cairo-canvas
A simpler drawing API for Cairo. Inspired by the Processing language.
Language:Haskell1 2 01
apirogov/icpc-tcr
Team Contest Reference
Language:Java1 2 00
apirogov/JSnake
Snake game using the HTML5 canvas element (JQuery+ProcessingJS)
Language:JavaScript1 2 01
apirogov/Tetris4G
A HTML5 game inspired by Tetris
Language:JavaScript1 2 02
apirogov/xmonad-wallpaperhook
XMonad log hook for setting different wallpapers for each workspace.
Language:Haskell1 3 0
apirogov/apirogov.github.io
Website data
Language:HTML2 0
apirogov/cid
cute image database
Language:JavaScript2 01
apirogov/dotfiles
My dotfiles
Language:Vim Script2 0
apirogov/ffmaplib
API for easy access to nodes.json used by ffmap-d3
Language:Ruby2 0
apirogov/ffnodegame
Freifunk node highscore generator
Language:Ruby2 03
apirogov/ffnodestats
Generates some useful stats from nodes.json
Language:Ruby2 0
apirogov/hampc
Yet another MPD web client, written in Haskell.
Language:JavaScript2 0
apirogov/invtxt
invtxt is a lightweight home inventory script inspired by todotxt
Language:Ruby2 1
apirogov/KapiTools
Some useful tools for players of the browsergame Kapiland. See the README for more information.
Language:Ruby3 0
apirogov/lold
Daemon to send arbitrary animations or text messages to a wired lolshield (e.g. notifications/MPD tracks/etc.) locally or over the network.
Language:Processing2 0
apirogov/MoneyStacks
Personal money manager. Income and spending tracking and virtual money partitioning through a simple text file.
Language:Haskell2 0
apirogov/nbautils
Determinization of nondeterministic Büchi to deterministic parity automata. This repository is discontinued, the algorithms have been reimplemented and integrated into the Owl library.
Language:C++2 1
apirogov/phantom-types
Phantom types for Python.
Language:Python1 0
apirogov/serendipity
Implementation of a board game for 2-6 players on a hexagon board.
Language:Processing2 0
apirogov/twines
A simple but beautiful processing sketch
Language:Processing2 0
apirogov/vcvars-bash
Use the Microsoft C++ toolset from Bash (vcvarsall.bat -> vcvarsall.sh)
apirogov/yaml-conf
Simple library to turn record types into a flexible YAML-based configuration
Language:Haskell2 0