This is your work, valued

Matthew Yacavone

Advanced

@m-yac

tt-in-cagda. Simply typed lambda calculus in cubical agda

microtonal-utils. A javascript library for calculating with microtonal intervals and notes

agda-knots. An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory

xen-calc. A multi-purpose calculator for microtonal(/xenharmonic) music

fjs-explorer. JavaScript

F-polys. Haskell

vowel-space. JavaScript

views searches