Prathyush
@prathyvsh
About
Software Designer
Projects & Repositories
Recent public projects and repositories from this profile.
models-of-interaction
Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computation
pl-catalog
A catalog of programming languages
lambda-calculus-visualizations
Catalog of visual lambda calculi
semantic-zoom
Github repository to catalogue semantic zoom interaction patterns
formal-systems-in-biology
Application of formal systems to model biological systems
category-theory-resources
Resources for learning Category Theory for an enthusiast