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 decision procedure for 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 page.
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 app 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.
An artificially intelligent app that detects the slightest hint of sadness in your voice and motivates you. Details about the models used and setup instructions can be found here.