Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
Builds lists to block known problematic domains (e.g., associated to Spam, malware, tracking).
RCG Gray and RCG Forest themes for WordPress.
Vim syntax files for Haskell, VDM-SL, and VDM++ programming languages.
Some Perl and Bash scripts to automate tasks, mainly related with backups, encryption of files, and managing compressed archives.
A C library implementing some useful data structures and utility functions.
A simple client/server demo using jVerbs.