OSS RL environment + evals toolkit

Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows).

Windows Subsystem for Linux

A fast and accurate contest rating prediction web application

Collaborative project between UofT Blueprint and the Centre for Dreams, aiming to create a centralized platform for participants and their families to access program information and announcements

A complete roommate and shared housing management solution.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

🌊 customizable 3D simulation of constructive/destructive interference

Starter Kit for the Photometric LSST Astronomical Time-series Classification Challenge