Main repository of SageMath

Proofs for Qualifying System F-sub

A 2022-24 redevelopment of the University of Waterloo Math Society's website.

Soundness proof for System CC_<:□

The Low Latency Reconfiguration System

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

Realtime transit overview for multiple cities across Canada

A free, self-hostable news aggregator…

Community list of transit APIs, apps, datasets, research, and software 🚌🌟🚋🌟🚂

I'm sick of complex blogging solutions, so markdown files in a git repo it is

GoogleTest - Google Testing and Mocking Framework

An Android RSS reader presented in Material You style.

Unofficial Youtube Music Desktop App, with LastFM support.

Rust implementation of NearbyShare/QuickShare from Android for Linux and macOS.

C++ implementation of the Google logging module

Fast C++ logging library.