alexpeattie Goto Github PK

alasql

AlaSQL.js - JavaScript SQL database for browser and Node.js. Handles both traditional relational tables and nested JSON data (NoSQL). Export, store, and import data from localStorage, IndexedDB, or Excel.

alexpeattie.com

The code for alexpeattie.com - a static site built with Eleventy, hosted on Netlify

animate-textshadow

A lightweight jQuery plugin for animating the CSS text-shadow property

ask

interactive command-line prompts for deno

bootstrap-tokenfield

A jQuery tag/token input plugin for Twitter's Bootstrap, by the guys from Sliptree

denjucks

Deno templating engine

doc-gen

Generate HTML documentation for mathlib and Lean

foursquare-oauth

gossip

gtokenizer

A Ruby gem for simple string tokenization, based on the method used by Google for their Google NGrams app (http://ngrams.googlelabs.com/)

heroku_secrets

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

letsencrypt-fromscratch

A guide to creating a LetsEncrypt client from scratch in < 150 lines of Ruby

light-server

A lightweight cli static http server and it can watch files, execute commands and trigger livereload

litellm

magic

Repository to go along with the talk "The magic of dimensionality reduction" given at ODSC London 2017

nitlink

A nice, modern, nitpicky Ruby gem for parsing HTTP Link headers (per RFC 5988)

prideify

Inspired by https://facebook.com/celebratepride - a super-lightweight library (< 100 lines of code) to “prideify” (add rainbow stripes to) any image using the <canvas> API.

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

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.

shiki

A beautiful Syntax Highlighter.

slackyoutube-slackbot

Standalone Vidbot chatbot for BeepBoop (see https://github.com/alexpeattie/vidbot)

spectrum-slider-test

syntect-wasm-demo

A little demo of syntect, compiled to WebAssembly and running in the browser.

twilio-keyboard

🎹 An (old) tutorial detailing how to control a USB-enabled MIDI keyboard via SMS, using the Twilio API.

vidbot

Vidbot connects YouTube push notifications with your Slack team, written in Node.js :robot:

vscode-lean

An extension for VS Code which provides support for the Lean language.

wethepeopletoolkit

Toolkit for using We the People petitions data to cluster and understand states based on issues.

windowed

Non-confusing, 'windowed slider' checkboxes and dropdowns with jQuery