sanderr Goto Github PK

agda-vim

Agda interaction in vim

bump2version

Version-bump your software with a single command

cloudsmith-cli

Cloudsmith Command Line Interface (CLI)

devpi

Python PyPi staging server and packaging, testing, release tool

facebook-chat-api

Unofficial Facebook Chat API for Nodejs

firefox-proxy

Starts a SOCKS5 proxy firefox can easily connect to. Moved to https://gitlab.com/theSander/firefox-proxy.

i3-tools

Collection of scripts and other tools that make i3 life easier. Moved to https://gitlab.com/theSander/i3-tools.

idp.vim

Vim syntax file for idp

inmanta-module-factory

Library for building inmanta modules with python code

pip

The Python package installer

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.

resolvelib

Resolve abstract dependencies into concrete ones

test-pr-template

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.

toledoattachmentdownloader

Download all attachments in a single toledo page in one go. This project has been moved to https://gitlab.com/theSander/toledoAttachmentDownloader.

traggo

self-hosted tag-based time tracking

usdx-yt-dl

Download script for some well-structured UltraStar Deluxe songs.

verifast

Research prototype tool for modular formal verification of C and Java programs

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.