Matthew Yacavone

Advanced
@m-yac

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

23

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

22

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

15

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

14

fjs-explorer. JavaScript

1

F-polys. Haskell

1

vowel-space. JavaScript

1
7
Apply