Alex Peattie's repositories
letsencrypt-fromscratch
A guide to creating a LetsEncrypt client from scratch in < 150 lines of Ruby
animate-textshadow
A lightweight jQuery plugin for animating the CSS text-shadow property
alexpeattie.com
The code for alexpeattie.com - a static site built with Eleventy, hosted on Netlify
xdog-sketch
Non-photorealistic, sketch style rendering in the browser with deeplearn.js + React 🎨
gtokenizer
A Ruby gem for simple string tokenization, based on the method used by Google for their Google NGrams app (http://ngrams.googlelabs.com/)
syntect-wasm-demo
A little demo of syntect, compiled to WebAssembly and running in the browser.
shadow-animation
With this jQuery plugin, you can extend the animate function to support the CSS box shadow-property. You can animate the color, the x- and y-offset, the blur-radius and spread-radius.
slackyoutube-slackbot
Standalone Vidbot chatbot for BeepBoop (see https://github.com/alexpeattie/vidbot)
twilio-keyboard
🎹 An (old) tutorial detailing how to control a USB-enabled MIDI keyboard via SMS, using the Twilio API.
wethepeopletoolkit
Toolkit for using We the People petitions data to cluster and understand states based on issues.
bootstrap-tokenfield
A jQuery tag/token input plugin for Twitter's Bootstrap, by the guys from Sliptree
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
light-server
A lightweight cli static http server and it can watch files, execute commands and trigger livereload
Real-Time-Voice-Cloning
Clone a voice in 5 seconds to generate arbitrary speech in real-time
seed-shuffle
Array shuffle with random seed -- deterministic and fast -- for JavaScript
vscode-lean
An extension for VS Code which provides support for the Lean language.