onionhoney

roux-trainers

Rubik's cube trainer / solver for the Roux method.

stlc-ocaml

Simply Typed Lambda Calculus, implemented in Ocaml

cs32-hw2-test

A test for homework 2 for CS 32 in UCLA.

cs32-hw3-test

An automated test for homework 3 of CS 32 at UCLA.

proflow

A minimal distraction search log / note taker as a Chrome Extension

15puzzle

15 puzzle optimal solver using IDA* and Pattern DB

cubesplit

Animated speed-solve analysis tool.

eocat

midori-timer

a rubik's cube timer so cute u won't believe it

weejudge

A Minimalist, Interactive Online Judge

alg.cubing.net

Multi-purpose puzzle viewer – the new generation of alg/reconstruction viewing and sharing.

blog

My personal blog

book

The Roux Reader

book-1

codesprint

UCLA ICPC's Codesprint and Practice Judge

cs476a

cstimer

CSTimer edited for Roux training

hermes

Some random good stuff in OCaml

hymnia

A music recommendation app based on emotions detected in your selfie.

LoopInvGen

onionhoney.github.io

PIE

Precondition Inference Engine

riscv-cores-list

RISC-V Cores, SoC platforms and SoCs

scoreboarder

A generic scoreboarding service built in Flask.

snatcher

A real-time UCLA course scanner.

visualcube

A php script for generating Rubik's Cube visualisations

wca-rolling-avg-cn

wca_vis

WCA (World Cube Association) visualizations and fun stats.