2 results found Sort:

steshaw
plt steshaw
338
5.2k
unknown
274
Programming Language Theory λΠ
logic type-theory proof-theory category-theory programming-languages functional-programming
Created 2013-07-30
254 commits to main branch, last one 20 days ago
err0r500
foundational-knowledge-for-programmers err0r500
11
167
unknown
11
List of resources about foundational knowledge for programmers (supposed to last a few decades)
awesome algorithms networking type-theory awesome-list cryptography proof-theory linear-algebra category-theory computer-science computer-architecture programming-languages programming-paradigms software-architecture algorithms-and-data-structures
Created 2020-03-29
38 commits to master branch, last one 3 years ago