Agda
Homotopy Type Theory with Agda
Portfolio
CHomP
Computational Homology Project
DSGRN
Dynamic Signatures for Genetic Regulatory Networks
Fridge Magnet Crossword
An algorithm for refrigerator magnets
Minimal Flask Example
Getting started with Flask
WebXR
An example three.js app for Oculus Quest Browser.
Word Graph
Word replacement affinity