2 results found Sort:

steshaw
plt steshaw
337
5.2k
unknown
276
Programming Language Theory λΠ
logic type-theory proof-theory category-theory programming-languages functional-programming
Created 2013-07-30
253 commits to main branch, last one about a year ago
err0r500
foundational-knowledge-for-programmers err0r500
11
164
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