TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

The modern video player for macOS.

Rich is a Python library for rich text and beautiful formatting in the terminal.

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

A hyperparameter optimization framework

Extremely fast Query Engine for DataFrames, written in Rust

Animation engine for explanatory math videos

💻 Unix Setup

GitHub’s official command line tool

List of Treewidth solvers, instances, and tools

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

The CMS powering content generation/creation for the CSESoc website

📊 Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

A project submission system for competitions.

Multiplayer browser game created in 2018 (2+ million players so far)

The SAT and QBF Programming Language Bule

Recreation of when2meet, with a modernised and reactive user interface and various new feature additions!

Current and past resources for the UNSW courses I have tutored

A smol experiment.

Tool to generate specifications from Capability Architect databases

A tool designed for UNSW Tutors who wish to create an ICS file with their teaching timetable :)

A link shortener that you should never use.

A discord bot that provides the ability to play dota hero response clips, do tts, and a variety of other utilities