Joseph Benden's repositories
collectd-web
Collectd-web is a web-based front-end for RRD data collected by collectd
acsl-by-example
Public snapshots of "ACSL by Example"
ansible-gitolite
Install gitolite from upstream Git repository
ansible-postfix
Install and manage Postfix SMTP Server
ansible-role-nginx
Ansible role to manage Nginx on FreeBSD
chocolatey-packages
Various packages for Chocolatey...
code-gnu-global
Provide Intellisense for C/C++ with the help of the GNU Global tool in Visual Studio Code
convert-source-map
Converts a source-map from/to different formats.
cppcheck-extension
Runs the cppcheck static code analyzer from vscode
docker-gitbook
Docker image for GitBook
libchromiumcontent
Shared library build of Chromium’s Content module
mod_notify
A module for ProFTPd to send upload email notifications.
MSYS2-packages
Package scripts for MSYS2.
qcheck
QuickCheck inspired property-based testing for OCaml.
rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
rhea
A constraint solver based on Cassowary
Talks
repositories of my talks