Kevin Liao's repositories
lindy-bay-area
Gatsby starter for creating a blog
rescript-compiler
The compiler for ReScript.
ec
System76 Open Source Embedded Controller
pre-commit-pyre-check
pyre-check & pre-commit
orgparse
Python module for reading Emacs org-mode files
itaigi
新台語·**
connect_four
simple connect four in React
Marker
🖊 A gtk3 markdown editor
org-rs
org-mode parser rewrite in Rust
orgzly-android
Outliner for taking notes and managing to-do lists
openbudgetoakland
Visualizations of Oakland's budget data, and explanations about the budget process.
matterbridge-heroku
An inline buildpack for deploying a mattermost-irc bridge
darkreader
Dark Reader Chrome and Firefox extension
alp-fail
#aabill
publicwhip
Making parliamentary voting information accessible, understandable, and easy to use so that you can hold your elected representatives to account.
taiwan_love_wins
資訊界連署挺同婚
Signal-iOS
A private messenger for iOS.
amis-moedict
阿美語萌典網站
vue.vtaiwan.tw
數位經濟法規線上諮詢系統 界面 3.0 - https://vtw.link/
rumors-db
Scripts for managing rumors db
rumors-deploy
Deployment scripts for g0v rumors project
ScalaCryptoPlayground
DO NOT USE IN PROD EVER.
dinkum
Experiments with campaign finance data in Australia
STAR-Vote
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.
gyroscoping
Gyroscope
Undergraduate-Thesis
A literature review of dependent types
zulip
Zulip server - powerful open source team chat
palpatine
Palpatine is an STV Vote Counter implemented in Idris.
IsItPinWheelDayYet-
Is it pinwheel day yet?