There are no reviews yet. Be the first to send feedback to the community and the maintainers!
pl-catalog
A catalog of programming languagescategory-theory-resources
Resources for learning Category Theory for an enthusiastformal-systems-in-biology
Application of formal systems to model biological systemsmodels-of-interaction
Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computationIllustrated-Primers
Books that makes heavy use of visuals for scientific communicationnetworked-notebooks
Hyperlinked notebooksnotation
Repo to track the evolution of notation in arts and sciencesmorphisms-of-computational-structures
A visual catalogue + story of morphisms displayed across computational structures.Visual-Math-Tools
Catalog of Visual Math Toolslambda-calculus-visualizations
Catalog of visual lambda calculiknowledge-atlases
Catalogue of portals that maps out roadmap for self learnershistory-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 Mathematicshtdp
How to design programstypefaces
Catalog of open source typefacesnature-of-thought
Catalogue on the nature and bounds of thoughtprobability-statistics-reading-list
Reading list for Probability and Statisticslearning-topology
Resources for making sense of topology and its conceptslambda-calculus
Guide elucidating Lambda Calculuslearn-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 Schemerhistory-of-lambda-calculus
Survey on materials that touch on the history of Lambda Calculustoe-atlas
A catalogue of theories of everythingalgebra-books
A catalog of algebra books for self learninghistory-of-computers
Exploring history of CSdatabase-readings
A collection of resources to construct databases with an emphasis on performing abstract/combinatorial searchesgodel-reading-list
A reading list to understand Gödel’s Prooffunbox
ES6 Functional Programming Toolboxhistory-of-type-theory
A catalogue for keeping track of the history of types as they evolvedmodels-of-computation
Models of Computationhistory-of-philosophy
Catalog of history of Philosophyformal-languages-reading-list
Reading list for formal languagesPeirce
Review of Pierce’s work with brief comments on them.hidden-gems-in-computer-science
Computer science papers that are hidden gemslinguistics-reading
A list of resources for reading on Linguisticsphilosophy-of-mathematics
Readings on the philosophy of MathematicsSeminal-Papers-in-Computer-Science
A Catalogue of Seminal Papers in Computer Sciencebooks-on-computation
A reading list that attempts to cover the gamut of story of computationmetacompilers
Learning Metacompilersai-design
What artificial intelligence has to offer the design fieldyantra
Declarative Vector Graphics Librarygreat-ideas-in-computer-science
A collection of great ideas in Computer Sciencesyntax-semantics-pragmatics
A collection of reads on syntax, semantics, and pragmatics of languagesAncient-Languages
Books for learning ancient languageshistory-of-typefaces
Catalogue of the history of typefacesuse-of-maths-in-programming
Case studies where mathematics becomes useful in programmingmath-gifs
Learn Math with GIFsreading-chomsky
Notes on papers written by Chomskyvisual-group-theory
Exercises and notes from Nathan Carter’s Visual Group Theorytalks-by-women-in-logic
Talks by Women in Logicprathyvsh
Biohistory-through-cinema
Figure out history through cinemafp-books
Books to learn functional programming thoroughlyzahar
A data driven view builder library in Javascripttheories-of-unification
A collection of theories that attempt to unify their subject of study under a novel frameworkhistory-of-programming-languages
Repo to track the history of programming languageshistory-of-geometry
Notes on the history of geometrygreat-works-in-their-original-languages
A catalogue of great works I want to read in their original languagesweb-assembly
Learning WebAssemblyLove Open Source and this site? Check out how you can help us