richkcho

cs260r-hotcrp

Coq development to prove information confidentiality in HotCRP is correct.

recipebox

A web and mobile app to keep track of recipes from all around the world

cassiopeia

An all-inclusive Python framework for the Riot Games League of Legends API. Cass focuses on making the data easy and fun to work with, while providing all the tools necessary to create a website or do data analysis.

orianna

A Java framework for the Riot Games League of Legends API (http://developer.riotgames.com/).

CS61huehue

Project devoted to playing with the CS61 feedback board :>

D4D_translation_app

Java backend that communicates with a database. Also contains database.

discord_stable_diffusion

run a stable diffusion discord bot

league_of_tilt

raptor_cdn

richkcho.github.io

richkcho/CS61huehue

Project devoted to playing with the CS61 feedback board :>

richkcho/D4D_translation_app

Java backend that communicates with a database. Also contains database.

richkcho/discord_stable_diffusion

run a stable diffusion discord bot

richkcho/league_of_tilt

richkcho/raptor_cdn

richkcho/richkcho.github.io