prathyvsh/syntax-semantics-pragmatics

Stars
2
Language
Created about 4 years ago
Updated about 4 years ago

prathyvsh/syntax-semantics-pragmatics

prathyvsh

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

formal-languages-reading-list

Reading list for formal languages

Peirce

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

hidden-gems-in-computer-science

Computer science papers that are hidden gems

linguistics-reading

A list of resources for reading on Linguistics

philosophy-of-mathematics

Readings on the philosophy of Mathematics

Seminal-Papers-in-Computer-Science

A Catalogue of Seminal Papers in Computer Science

books-on-computation

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

metacompilers

Learning Metacompilers

ai-design

What artificial intelligence has to offer the design field

yantra

Declarative Vector Graphics Library

great-ideas-in-computer-science

A collection of great ideas in Computer Science

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

visual-group-theory

Exercises and notes from Nathan Carter’s Visual Group Theory

talks-by-women-in-logic

Talks by Women in Logic

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