Prathyush's repositories
pl-catalog
A catalog of programming languages
category-theory-resources
Resources for learning Category Theory for an enthusiast
formal-systems-in-biology
Application of formal systems to model biological systems
models-of-interaction
Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computation
Illustrated-Primers
Books that makes heavy use of visuals for scientific communication
networked-notebooks
Hyperlinked notebooks
morphisms-of-computational-structures
A visual catalogue + story of morphisms displayed across computational structures.
Visual-Math-Tools
Catalog of Visual Math Tools
lambda-calculus-visualizations
Catalog of visual lambda calculi
knowledge-atlases
Catalogue of portals that maps out roadmap for self learners
history-of-logic
A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
history-of-mathematics
Catalogue of the hisotry of Mathematics
nature-of-thought
Catalogue on the nature and bounds of thought
probability-statistics-reading-list
Reading list for Probability and Statistics
lambda-calculus
Guide elucidating Lambda Calculus
database-readings
A collection of resources to construct databases with an emphasis on performing abstract/combinatorial searches
history-of-philosophy
Catalog of history of Philosophy
philosophy-of-mathematics
Readings on the philosophy of Mathematics
talks-by-women-in-logic
Talks by Women in Logic
evert-cuda
A CUDA port of Thurston's evert that path traces a sphere being turned inside out
mundyreimer.github.io
personal website & blog
RecordedTalks
a place to keep information about my talks