visualsource.net
GalleryLogin

dependent-types source code visualizations

6 animated visualizations for GitHub repositories tagged dependent-types.

mzi-lang/mzi-dev source code visualization

mzi-lang/mzi-dev

mzi-lang/mzi-dev source code visualization

mzi-lang/mzi-dev

agda/agda source code visualization

agda/agda

idris-lang/idris2 source code visualization

idris-lang/idris2

fstarlang/fstar source code visualization

fstarlang/fstar

coq/coq source code visualization

coq/coq

Browse the full gallery