Geek Repo
followers
following
stars
Location:Potsdam, Germany
Home Page:illenseer.eu
Github PK Tool:Github PK Tool
My currently used dotfiles
My Vim configuration
Tools for solving Logic Programs with Ordered Disjunctions (LPOD)