Prathyush

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

os-catalog. Catalogue of novel operating systems

lambda-calculus-visualizations. Catalog of visual lambda calculi

Illustrated-Primers. Books that makes heavy use of visuals for scientific communication

networked-notebooks. Hyperlinked notebooks

notation. Repo to track the evolution of notation in arts and sciences

morphisms-of-computational-structures. A visual catalogue + story of morphisms displayed across computational structures.

Visual-Math-Tools. Catalog of Visual Math Tools

semantic-zoom. Github repository to catalogue semantic zoom interaction patterns

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.

htdp. How to design programs

history-of-mathematics. Catalogue of the hisotry of Mathematics

typefaces. Catalog of open source typefaces

probability-statistics-reading-list. Reading list for Probability and Statistics

nature-of-thought. Catalogue on the nature and bounds of thought

learning-topology. Resources for making sense of topology and its concepts

lambda-calculus. Guide elucidating Lambda Calculus

learn-cs. A curation of standalone books that helps a beginner to learn computer science from first principles.

history-of-lambda-calculus. Survey on materials that touch on the history of Lambda Calculus

the-little-schemer. Summary of working through the exercises of the Little Schemer

algebra-books. A catalog of algebra books for self learning

history-of-computers. Exploring history of CS

toe-atlas. A catalogue of theories of everything

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

godel-reading-list. A reading list to understand Gödel’s Proof

funbox. ES6 Functional Programming Toolbox

history-of-type-theory. A catalogue for keeping track of the history of types as they evolved

models-of-computation. Models of Computation

formal-languages-reading-list. Reading list for formal languages

Peirce. Review of Pierce’s work with brief comments on them.

linguistics-reading. A list of resources for reading on Linguistics

ai-design. What artificial intelligence has to offer the design field

history-of-typefaces. Catalogue of the history of typefaces

hidden-gems-in-computer-science. Computer science papers that are hidden gems

Seminal-Papers-in-Computer-Science. A Catalogue of Seminal Papers in Computer Science

philosophy-of-mathematics. Readings on the philosophy of Mathematics

Ancient-Languages. Books for learning ancient languages

use-of-maths-in-programming. Case studies where mathematics becomes useful in programming

books-on-computation. A reading list that attempts to cover the gamut of story of computation

metacompilers. Learning Metacompilers

yantra. Declarative Vector Graphics Library

great-ideas-in-computer-science. A collection of great ideas in Computer Science

syntax-semantics-pragmatics. A collection of reads on syntax, semantics, and pragmatics of languages

math-gifs. Learn Math with GIFs

hop. Higher Order Perl repository

history-of-geometry. Notes on the history of geometry

web-assembly. Learning WebAssembly

elements. Illuminating Euclid’s Elements with Formal Systems

art-of-memory. Resources from Frances A. Yates book Art of Memory

secret-project.