Johannes Choo's repositories
greek-polytonic
A Polytonic Greek Input Method for Emacs using Quail
openvpn_xor
OpenVPN patched with Tunnelblick's XOR patch, packaged for Ubuntu.
ARC-AGI
The Abstraction and Reasoning Corpus
build_guides
Build guides for all of the boards
course22
The fast.ai course notebooks
course22p2
course.fast.ai 2022 part 2
gnome-timezones-extension
Show multiple clocks in the panel
graphql-yoga
🧘 Rewrite of a fully-featured GraphQL Server with focus on easy setup, performance & great developer experience. The core of Yoga implements WHATWG Fetch API and can run/deploy on any JS environment.
mantine
React components library with native dark theme support
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
NUS-CS2102-Project-Team-2-AY1819
NUS CS2102 Team 2 Project
obsidian-google-tasks
Add Google Tasks inside Obsidian
pothos
Pothos GraphQL is library for creating GraphQL schemas in typescript using a strongly typed code first approach
qmk_firmware
QMK, forked for ZSA's Oryx Configurator (to safeguard stability)
RenJS-V2
RenJS Typescript Version
tm-models
A collection of models of Turing Machine variants