jhanschoo

concrete-semantics-solutions-2019

greek-polytonic

A Polytonic Greek Input Method for Emacs using Quail

openvpn_xor

OpenVPN patched with Tunnelblick's XOR patch, packaged for Ubuntu.

relay-prisma-bug

writerite

writerite-frontend-react

GitHub mirror from GitLab

CDCLSAT

dotfiles

aoc

build_guides

Build guides for all of the boards

Burrito

An overlay tool for Guild Wars 2 that works on linux

course22

The fast.ai course notebooks

course22p2

course.fast.ai 2022 part 2

fastai

fastbook

The fastai book, published as Jupyter Notebooks

fiber

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.

mathlib4

The math library of Lean 4

melpa

Recipes and build machinery for the biggest Emacs package repo

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

project_euler

qmk_firmware

QMK, forked for ZSA's Oryx Configurator (to safeguard stability)

RenJS-V2

RenJS Typescript Version

vscode-graphql-bug-demo

writerite-backend-yoga

GitHub mirror from GitLab