coldfix Goto Github PK

apptainer-userdocs

arch-setup

archlinux example install session

black-magic

Metaprogramming modules that operate on black magic!

boost.shared_ptr

Stand-alone boost::shared_ptr as found in the library. Extracted with BCP.

boost.smart_ptr

Stand-alone boost::smart_ptr as found in the library. Extracted with BCP.

catscrape

Scraping cat pics from the internet!

cecmap

Maps CEC events to arbitrary keybindings for controlling your raspberrypi desktop via TV remote.

certbot

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

certbot-dns-netcup

netcup DNS Authenticator plugin for Certbot

cfgrammar-tool

Work with context-free grammars. Parsing, string generation, and manipulation.

cfme

C++11 Fourier Motzkin elimination utilities

cisco-encrypt

Password obfuscator for vpnc config files (beware that passwords can be deobfuscated using cisco-decrypt!!!)

citip

Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/

cpproperty

C++ {g,s}etters are madness

cpymad-lib

dfa-lib

JavaScript tools for working with DFAs and NFAs. Focuses on manipulation and analysis of automata, not their use.

doc2md

Extract python docstrings and save as markdown file [very lightweight and designed for my personal use case]

docker-github-runner

Run GitHub Actions on self-hosted runner using Docker.

funcwrap

Helps function wrappers/decorators with perfect forwarding

git-filter-tree

Utilities for fast git history rewrites using a parallelized tree-filter

git-punchcard

Simple git punchcard utility, inspired by git-punchcard-plot but rewritten for python3 with matplotlib

gitcheck

hexhighlight

vim+gvim plugin to highlight hex-color-codes in the corresponding color

latex-preview

Little wxWidgets GUI Utility for fast previewing latex-formula-snippets

mad-x

Legacy MAD-X repository

minrpc

Minimalistic RPC utility (use at your own risk, we will break the API as necessary)

multiplot

put multiple image files into one PDF document

openvpn-routing-examples

openvpn-update-resolv-conf

Script that updates DNS settings are pushed by the OpenVPN server

paster.vim

VIM tool to upload selected content to public pastebins