This is a partial collection of open source projects that I’ve worked on. View all projects on GitHub.

An automated theorem prover that implements a mechanical decision procedure to decide combinatorial properties of automatic sequences. Originally developed by Hamoon Mousavi (2013).

A decentralised art marketplace where digital art can be sold as NFTs. Users bid and artists accept it and sign over a copy of the art in any currency they like. See the project at 0x + Coinlist hackathon.

Contributed to a set of PowerShell cmdlets to help deploy Azure Site Recovery applications and manage resources including the vault, network and hypervisor.

An expressive web framework for Rust which aims to be fast and minimalist, and to give a robust foundation for web applications and APIs. It is available as a Cargo package.

An application that notifies people about events of their interest using crowd-sourced data. Created as part of a week-long hack with folks at the MIT Media Lab.

A whiteboard where multiple users can draw, share and brainstorm ideas. Written in nodejs with socket programming using socket.io.