Download pictures (or videos) along with their captions and other metadata from Instagram.

The Bluesky Social application for Web, iOS, and Android

macOS system monitor in your menu bar

OpenAPI (f.k.a Swagger) Specification code generator. Supports C#, PowerShell, Go, Java, Node.js, TypeScript, Python

Advent of Code runner

A Gaggia Classic control project using microcontrollers.

Files + Writeups for DownUnderCTF 2022 Challenges

Solidity, the Smart Contract Programming Language

Docker image that provides a Minecraft Server that will automatically download selected version at startup

ECMAScript proposal for type syntax that is erased - Stage 1

A custom partial React SSR renderer for prefetching and suspense

A timeline of some of the greatest hits in cryptocurrencies, NFTs, and other web3 projects since the beginning of 2021

Minimalistic project template to jump start a Node.js back-end application in TypeScript. ESLint, Vitest and type definitions included.

Writeups for the challenges from DownUnderCTF 2021

Answers the question – Why the hell is this module in a bundle?

A super simple static site generator

An extremely fast bundler for the web

An AWS hosted Minecraft server that will only run when players are active. Players can start the server through a simple UI accessed through free Heroku server hosting.

Templates to deploy a serverless Minecraft Server on demand in AWS

Official PyTorch implementation of StyleGAN3

🥉 useful helpers for react-three-fiber

🇨🇭 A React renderer for Three.js

This POC intends to make the the time to first byte as short as possible by sending the HTML in chunks through node server and other optimisations to progressively load the page in browser.

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

The official repository for my Discord ChessBot