quasimik

medium-mcts

Demo code to accompany Medium article

letterpress-mcts

picture-perfect

LA Hacks 2019 Entry

2d-board

Simple array wrapper for 2-dimensional grid-based games

archel

A microcontroller visualizer

BetterChatGPT

An amazing UI for OpenAI's ChatGPT (Website + Windows + MacOS + Linux)

bruinage

Bruin Agenda

BusBoss

A Node.js app to improve transport provision for hackathons.

cloudml-samples

Samples for Google Cloud Machine Learning Engine

covid-calculator

haleaf

Actionable suggestions to increase your personal quality of life.

halecoin

Winner of "Best Social Hack" and "Best Overall Hack" at HackUCI 2018.

cs145-newbee

cs145 term project

deeptown-optimizer

dictionatrie

Dictionary trie

gql

A GraphQL client in Python

grailed-notifier

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

nathanaelsee.github.io

Personal website/portfolio, on Github Pages

personal-website

pex

quasimik.github.io.old

Website

tp-lean

exercises for https://leanprover.github.io/theorem_proving_in_lean/

tutorials

PyTorch tutorials.

vcrpy

Automatically mock your HTTP interactions to simplify and speed up testing

woflow-challenge

wordle

xmldiff

A library and command line utility for diffing xml