Fan of Python, Rust, Elixir. Use PostgreSQL. Co-founder of @python-discord. GPEN and GCFE qualified.
A simple Javascript file for nicely formatting Discord webhooks
JavaScript - Released: 18 Nov 2016 - 100
Antur is a Python TUI tool for browsing and debugging sitemap data.
Python - Released: 04 Apr 2024 - 1
A plugin for the Atom Editor to allow interfacing with CircuitPython devices.
JavaScript - Released: 27 May 2019 - 17
Ansible + Jinja files for deploying the web & DNS servers for jb3.dev
Jinja - Released: 01 Dec 2021 - 2
Cloudflare Worker for Discord OAuth2 Authentication
TypeScript - Released: 22 Mar 2021 - 1
Cloudflare Worker for a Discord slash command application for short programming profiles.
TypeScript - Released: 14 Apr 2021 - 1
A GitHub bot to fast-forward merge PRs onto the default branch.
Elixir - Released: 13 Jun 2024 - 1
A bot for the Microsoft Python Discord community
Python - Released: 18 Jun 2020 - 1