Kevin Liao's repositories
Spark-Starterkit
If you're interested in webdev @SisterHacks, try this out!
Idris-dev
A Dependently Typed Functional Programming Language
STV-Counting-ProtocolVerification
This repository contains Coq and Haskell resources for verifying counting protocol of elections based on STV scheme
idris-containers
Various data structures for use in the Idris Language.
bb
Blue Bus utility
havercoin
It's like Monopoly money, but for Haverford.
the-power-of-pi
Implementations of ideas in The Power of Pi.
Matrix
Library for playing around with type safe matrices in Idris. Well-trodden territory.
landing-page-theme
Jekyll Bootstrap theme
neveragaindottech.github.io
Source files for the neveragain.tech site
old_kevinjcliao.github.io
Kevin's Personal Website
anagram
Checks if two input texts are anagrams.
anagram_site
Github Pages site to host the build of the anagram repository.
Signal-Desktop
Signal Private Messenger for the Desktop
web-design-standards-docs
Website and documentation on using the Draft U.S. Web Design Standards.
alt-right-to-neo-nazi
A Firefox extension that replaces occurrences of "the cloud" with "my butt".
codeu-final-project
Implementing TD-IDF and a nicer frontend with DeAndre!
cloud-to-butt
Chrome extension that replaces occurrences of 'the cloud' with 'my butt'
DefinitelyTyped
The repository for high quality TypeScript type definitions.
ParseAEC
Parse donation data that the AEC sends into JSON that can then be sent to Firebase.