Carmen Chui's starred repositories
EmojiLibrary
Global headers, functions and resources used by PoomSmart's Emoji tweaks.
ontology-toolkit
Tools to update and export ontology RDF.
facebook-delete
Fast facebook activity deletion
XKit-Rewritten
🧰 The enhancement suite for Tumblr's new web interface
irc_to_default_logic
STEALTH law parsing
UDepLambda
A framework to convert Universal Dependencies to Logical Forms
Pi-Hole-on-Google-Compute-Engine-Free-Tier-with-Full-Tunnel-and-Split-Tunnel-Wireguard-VPN-Configs
Run your own privacy-first ad blocking service at home, or in the cloud for free with Google Cloud Services.
verbalizer
Project for the Verbalization of Derivations in Description Logics
elk-reasoner
A Java-based OWL 2 EL reasoner
BackgroundMusic
Background Music, a macOS audio utility: automatically pause your music, set individual apps' volumes and record system audio.