beala

deep-image-prior-tensorflow

An implementation of https://dmitryulyanov.github.io/deep_image_prior for tensorflow.

xkcd-password

A password generator inspired by the xkcd password spec: http://xkcd.com/936/

symbolic

Symbolic execution engine for toy language.

regexpand

Utility for expanding regular expressions.

ai_tools

This repo contains scripts and tools that are useful for interacting with OpenAI APIs.

dotfiles

My dotfile configs for vim, git, bash, etc.

life-progress

Progess bar for your life.

linear

Toy language with a linear type system.

maze

Maze generator.

twiphon

A utility for downloading a user's tweets. A tweet siphon.

backups

Yet another backup script.

bandits

Multi-armed bandits.

cheapgpt

covid-19-forecast

ergo

A Python library for integrating model-based and judgmental forecasting

esp-writer

Utility for uploading files to Adafruit's Huzzah board (esp8266).

eth_vault_tla

High level design verification of an ethereum vault with TLA+ Toolbox

file_search_repro

graphprop

Simple implementation of forward and back propogation against a computational graph.

guava-probably

Probabilistic data structures for Guava.

ml_playing

Just some fun with ML

moodbot-parse

Load and parse moodbot files.

notebooks

optics

proto_repro

rules_scala_bazelbuild

Scala rules for Bazel

smart-home

Scripts, configs, and code for my Home Assistant setup (and beyond?)

triangle-flower-pot

A triangular flower pot defined in OpenSCAD.

twitter-bot

A bot for twitter.

util

Wonderful reusable code from Twitter