mattipv4 Goto Github PK

.github

a-level-comp-sci-project

Public 'cause it is too big to email - No PRs please

avatar

The full collection of my online appearance, my avatar.

battlesnake

This is my bad attempt at implementing my own Battlesnake.

bfd.py

A simple API wrapper for botsfordiscord.com written in Python

bio18

My attempt, in Python, at the questions set out in the British Informatics Olympiad 2018.

build

Better build and test infra for Node.

cdnjs-add

cdnjs-add-cli

CLI tool for adding new package configurations to cdnjs

cells

cf-status-worker

Cloudflare Worker to monitor the Status Pages for incidents and send notifications to Discord

cloudflare-docs

Cloudflare’s developer docs.

community

Hachyderm Community Resources

contribution-continuous

cv

An elegant and expandable CV design made with SASS, HTML and love.

dabbitpri.me

Domain for Sale

digitalocean-art

digitalocean-discord-presence

A node.js (discord.js) script that sets your Discord presence to the DigitalOcean community.

dijkstrastar

A Python, PyGame simulation of Dijkstra and A*, running at the same time.

discord-status

Discord Status - A reddit bot that will post Discord status updates

discord.js

A powerful JavaScript library for interacting with the Discord API

discordbots.org-api-examples

Bot Stats API Examples for DiscordBots.org

divoom-control

A little script/CLI for controlling Divoom devices (Pixoo etc.)

dns-over-discord

1.1.1.1 works from a Discord server, thanks to the 1.1.1.1 bot. Invite the bot to your Discord server to start using DNS over Discord.

do_username

A DigitalOcean-community-themed username generator. Implemented in Ruby, JavaScript and Rust.

esbuild-plugin-styled-components

esbuild plugin for styled components

explore

Community-curated topic and collection pages on GitHub

files-diff

Highlight changes and additions across a set of files in an object.

github-first-contributions

A little script that scrapes GitHub hovercards on PRs to see if they're first contributions.

gitmail

Find a GitHub user's email.