Discover @prathyvsh Open Source projects

Prathyush (@prathyvsh)

prathyvsh

Stars
3,261
Global Rank 8,762 (Top 0.4 %)
Followers 470
Following 17
Registered about 13 years ago
Most used languages

JavaScript
66.7 %

Racket
33.3 %

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

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

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

htdp

How to design programs

typefaces

Catalog of open source typefaces

nature-of-thought

Catalogue on the nature and bounds of thought

probability-statistics-reading-list

Reading list for Probability and Statistics

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.

the-little-schemer

Summary of working through the exercises of the Little Schemer

history-of-lambda-calculus

Survey on materials that touch on the history of Lambda Calculus

toe-atlas

A catalogue of theories of everything

algebra-books

A catalog of algebra books for self learning

history-of-computers

Exploring history of CS

database-readings

A collection of resources to construct databases with an emphasis on performing abstract/combinatorial searches

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

history-of-philosophy

Catalog of history of Philosophy

Peirce

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

formal-languages-reading-list

Reading list for formal languages

hidden-gems-in-computer-science

Computer science papers that are hidden gems

philosophy-of-mathematics

Readings on the philosophy of Mathematics

Seminal-Papers-in-Computer-Science

A Catalogue of Seminal Papers in Computer Science

linguistics-reading

A list of resources for reading on Linguistics

books-on-computation

A reading list that attempts to cover the gamut of story of computation

metacompilers

Learning Metacompilers

yantra

Declarative Vector Graphics Library

ai-design

What artificial intelligence has to offer the design field

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

Ancient-Languages

Books for learning ancient languages

history-of-typefaces

Catalogue of the history of typefaces

use-of-maths-in-programming

Case studies where mathematics becomes useful in programming

art-of-memory

Resources from Frances A. Yates book Art of Memory

math-gifs

Learn Math with GIFs

reading-chomsky

Notes on papers written by Chomsky

talks-by-women-in-logic

Talks by Women in Logic

visual-group-theory

Exercises and notes from Nathan Carter’s Visual Group Theory

prathyvsh

history-through-cinema

Figure out history through cinema

fp-books

Books to learn functional programming thoroughly

zahar

A data driven view builder library in Javascript

theories-of-unification

A collection of theories that attempt to unify their subject of study under a novel framework

history-of-programming-languages

Repo to track the history of programming languages

history-of-geometry

Notes on the history of geometry

great-works-in-their-original-languages

A catalogue of great works I want to read in their original languages

web-assembly

Learning WebAssembly