Linking pages
- GitHub - breandan/kotlingrad: 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types https://github.com/breandan/kotlingrad 27 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- GitHub - rossant/awesome-math: A curated list of awesome mathematics resources https://github.com/rossant/awesome-math 12 comments
- A Python frozenset interpretation of Dependent Type Theory | Hey There Buddo! https://www.philipzucker.com/frozenset_dtt/ 4 comments
- GitHub - mostafatouny/awesome-theoretical-computer-science: The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour. https://github.com/mostafatouny/awesome-theoretical-computer-science 0 comments