Pinned Repositories
inmanta-core
Inmanta is an automation and orchestration tool
pip
The Python package installer
sptlrx
Synchronized lyrics in your terminal
agda-vim
Agda interaction in vim
bump2version
Version-bump your software with a single command
cloudsmith-cli
Cloudsmith Command Line Interface (CLI)
inmanta-module-factory
Library for building inmanta modules with python code
toledoAttachmentDownloader
Download all attachments in a single toledo page in one go. This project has been moved to https://gitlab.com/theSander/toledoAttachmentDownloader.
usdx-yt-dl
Download script for some well-structured UltraStar Deluxe songs.
resolvelib
Resolve abstract dependencies into concrete ones
sanderr's Repositories
sanderr/inmanta-module-factory
Library for building inmanta modules with python code
sanderr/toledoAttachmentDownloader
Download all attachments in a single toledo page in one go. This project has been moved to https://gitlab.com/theSander/toledoAttachmentDownloader.
sanderr/usdx-yt-dl
Download script for some well-structured UltraStar Deluxe songs.
sanderr/agda-vim
Agda interaction in vim
sanderr/bump2version
Version-bump your software with a single command
sanderr/cloudsmith-cli
Cloudsmith Command Line Interface (CLI)
sanderr/devpi
Python PyPi staging server and packaging, testing, release tool
sanderr/facebook-chat-api
Unofficial Facebook Chat API for Nodejs
sanderr/firefox-proxy
Starts a SOCKS5 proxy firefox can easily connect to. Moved to https://gitlab.com/theSander/firefox-proxy.
sanderr/i3-tools
Collection of scripts and other tools that make i3 life easier. Moved to https://gitlab.com/theSander/i3-tools.
sanderr/idp.vim
Vim syntax file for idp
sanderr/pip
The Python package installer
sanderr/pokemonCardGenerator
Generates pokecards based on config files. Sends requests to http://www.mypokecard.com/ to create the cards. The project has been moved to https://gitlab.com/theSander/pokemonCardGenerator.
sanderr/resolvelib
Resolve abstract dependencies into concrete ones
sanderr/sptlrx
Synchronized lyrics in your terminal
sanderr/test-pr-template
sanderr/thingDivider
This is a mirror of https://gitlab.com/theSander/divider. On November 1st, the GitHub repo will be deleted, but the GitLab one will continue to exist.
sanderr/traggo
self-hosted tag-based time tracking
sanderr/verifast
Research prototype tool for modular formal verification of C and Java programs
sanderr/verifast.vim
This is a mirror of https://gitlab.com/theSander/verifast.vim. On November 1st, the GitHub repo will be deleted, but the GitLab one will continue to exist.