Anton Pirogov's repositories
sdl2-cairo
Haskell library providing functions to use Cairo to draw on SDL textures and containing a Processing-style convenience drawing API.
flat-checker
SMT-based prototype model checker for LTL with counting that uses flat underapproximations of counter systems (my master's thesis).
python-app-template
A Python project template. Archived in favor of the fair-python-cookiecutter template.
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'
BinarySpacePartition
XMonad Layout (extended fork with more operations and improved semantics)
cairo-canvas
A simpler drawing API for Cairo. Inspired by the Processing language.
xmonad-wallpaperhook
XMonad log hook for setting different wallpapers for each workspace.
apirogov.github.io
Website data
ffnodegame
Freifunk node highscore generator
ffnodestats
Generates some useful stats from nodes.json
MoneyMan
A minigame of collecting coins.... My first 'real' Allegro project
MoneyStacks
Personal money manager. Income and spending tracking and virtual money partitioning through a simple text file.
phantom-types
Phantom types for Python.
serendipity
Implementation of a board game for 2-6 players on a hexagon board.