Pinned Repositories
swf2pdf
Converts swf files to pdf
Amethyst-Theme
Theme for gtk 3 apps
CityClaims
Bukkit plugin to create cities using GriefPrevention
ComputerCraft-XP-Turtle-Upgrade
Turtle upgrade peripheral for ComputerCraft that enables turtles to use experience points.
feh
fast and light Imlib2-based image viewer
ForumGameFramework
fpdf2
Simple PDF generation for Python
Mercatores-AutoModerator
phpBB3 bot that runs the game of Mercatores on a forum thread
oauth
A simple mod to allow players to login within the multiplayer screen. It has support for Mojang and Microsoft accounts.
platform
Multi platform setup for Coq, Coq libraries and tools
faubi's Repositories
faubi/platform
Multi platform setup for Coq, Coq libraries and tools
faubi/oauth
A simple mod to allow players to login within the multiplayer screen. It has support for Mojang and Microsoft accounts.
faubi/fpdf2
Simple PDF generation for Python
faubi/vimpager
Use Vim as PAGER
faubi/Amethyst-Theme
Theme for gtk 3 apps
faubi/rofi-themes
Themes for Rofi
faubi/python-ooxml
Python library for parsing .docx (Office Open XML) files
faubi/whoisbot
Very simple discord bot for assigning labels to server members
faubi/youtube-dl
Command-line program to download videos from YouTube.com and other video sites
faubi/feh
fast and light Imlib2-based image viewer
faubi/quodlibet
An open-source music library manager / player for Linux, Windows, and OS X
faubi/swf2pdf
Converts swf files to pdf
faubi/xautolock-clientmessage
Modified version of xautolock with a few small improvements
faubi/py3status
py3status is an extensible i3status wrapper written in python
faubi/ForumGameFramework
faubi/Mercatores-AutoModerator
phpBB3 bot that runs the game of Mercatores on a forum thread
faubi/xkcd-forum-tables
Adds tables to the xkcd forums (forums.xkcd.com)
faubi/CityClaims
Bukkit plugin to create cities using GriefPrevention
faubi/ComputerCraft-XP-Turtle-Upgrade
Turtle upgrade peripheral for ComputerCraft that enables turtles to use experience points.