Circuit Implementation of zkVM for zkSync Era

Layout algorithms for visualizing directed acyclic graphs

The Slush SDK allows you to spin up L3s on Starknet

Tendermint in Solidity

Scientific calculator for Garmin watches

GUI tool for TikZ figure production

A personal exploration of machine learning algorithms.