Pinned Repositories
Compiler-Construction
A Python to x86 assembly compiler written by Josh Wepman and Alex Beal.
CU-CS3753-2012-PA4
University of Colorado - CS3753 - Programming Assignment 4
deep-image-prior-tensorflow
An implementation of https://dmitryulyanov.github.io/deep_image_prior for tensorflow.
lamark
LaTeX + Markdown = LaMark: A tool for embedding LaTeX in Markdown. (Im in ur markdownz writing some latexz).
regexpand
Utility for expanding regular expressions.
symbolic
Symbolic execution engine for toy language.
xkcd-password
A password generator inspired by the xkcd password spec: http://xkcd.com/936/
beala's Repositories
beala/deep-image-prior-tensorflow
An implementation of https://dmitryulyanov.github.io/deep_image_prior for tensorflow.
beala/xkcd-password
A password generator inspired by the xkcd password spec: http://xkcd.com/936/
beala/symbolic
Symbolic execution engine for toy language.
beala/regexpand
Utility for expanding regular expressions.
beala/ai_tools
This repo contains scripts and tools that are useful for interacting with OpenAI APIs.
beala/dotfiles
My dotfile configs for vim, git, bash, etc.
beala/life-progress
Progess bar for your life.
beala/linear
Toy language with a linear type system.
beala/maze
Maze generator.
beala/twiphon
A utility for downloading a user's tweets. A tweet siphon.
beala/backups
Yet another backup script.
beala/bandits
Multi-armed bandits.
beala/cheapgpt
beala/covid-19-forecast
beala/ergo
A Python library for integrating model-based and judgmental forecasting
beala/esp-writer
Utility for uploading files to Adafruit's Huzzah board (esp8266).
beala/eth_vault_tla
High level design verification of an ethereum vault with TLA+ Toolbox
beala/file_search_repro
beala/graphprop
Simple implementation of forward and back propogation against a computational graph.
beala/guava-probably
Probabilistic data structures for Guava.
beala/ml_playing
Just some fun with ML
beala/moodbot-parse
Load and parse moodbot files.
beala/notebooks
beala/optics
beala/proto_repro
beala/rules_scala_bazelbuild
Scala rules for Bazel
beala/smart-home
Scripts, configs, and code for my Home Assistant setup (and beyond?)
beala/triangle-flower-pot
A triangular flower pot defined in OpenSCAD.
beala/twitter-bot
A bot for twitter.
beala/util
Wonderful reusable code from Twitter