david-ds

adventofcode-2020

Solutions for https://adventofcode.com/2020

divdebot-bot-app

formal-verification

adventofcode-2016

Proposed solutions for adventofcode 2016 edition

chef-handler-datadog

Get Chef stats & events directly into Datadog

dd-agent

Datadog Agent

debt-manager-bot

Telegram Bot to manage debts in channels

docker-seafile

Docker composition for a seafile server (community or pro), using MariaDB & nginx

dotfiles

Configure my zsh shell

go-datadog-api

A Go implementation of the Datadog API.

go-gitlab

A GitLab API client enabling Go programs to interact with GitLab in a simple and uniform way

hugo-theme-casper

Casper theme ported to Hugo

iot-presentation

learn-grpc

A small project to play with grpc

microservice-sandbox

owncloud

Docker Official Image packaging for ownCloud

saml-repo

Test pysaml vulnerability

vuln-repo

Test a repo with vulnerable dependencies