PostgreSQL wire protocol implemented as a rust library.

A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.

A System for Optimized Semantic Computation

Pip-installable, embedded-like postgres server for your python app

Programmatic access to Mailman via its publicly-accessible web interface.

A virtualization layer for cloud data infrastructures.

Customizable synthetic workload generator and runner.

An update-in-place key-value store for modern storage.

tools for setting and accessing advaned low-level CPU features

magic-trace collects and displays high-resolution traces of what a process is doing

🔮 Execution time predictions for deep neural network training iterations across different GPUs.

🎶 A simple and elegant research computing orchestrator.

RL-Scope: Cross-Stack Profiling for Deep Reinforcement Learning Workloads

🏙 + The Skyline plugin for Atom. This repository holds releases only.

🏙 Interactive in-editor performance profiling, visualization, and debugging for PyTorch neural networks.

FoundationDB - the open source, distributed, transactional key-value store

Repository for the Tandem NeoVim Plugin

Repository for the Tandem Vim Plugin

Repository for the Tandem Sublime Plugin

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Typing in Tandem. Decentralized, cross-editor, collaborative text-editing!

Flashcards for courses

A collection of user interfaces for Atom IDE.

A compilation of blogs by Waterloo students and alumni

Prettier is an opinionated code formatter.

An open IDE for web and native mobile development, built on top of Atom

concurrency for C++

A video game created as the final project for SE 464 at the University of Waterloo.

The Waterloo Consistency Analyzer

Open source transactional distributed database. Linear scalability and proven fault-tolerance on commodity hardware or cloud infrastructure without compromising performance.