Hacker News
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source https://github.com/hmemcpy/milewski-ctfp-pdf/ 228 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- [1809.05923] What is Applied Category Theory? https://arxiv.org/abs/1809.05923 82 comments
- Input Output - IOHK https://iohk.io/ 67 comments
- Bevor Sie zu YouTube weitergehen https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5 54 comments
- [1803.05316] Seven Sketches in Compositionality: An Invitation to Applied Category Theory https://arxiv.org/abs/1803.05316 37 comments
- http://cartographer.id 12 comments
- [1711.10455] Backprop as Functor: A compositional perspective on supervised learning https://arxiv.org/abs/1711.10455 11 comments
- CQL https://www.categoricaldata.net/ 8 comments
- GitHub - epatters/Catlab.jl: A framework for applied category theory in the Julia language https://github.com/epatters/Catlab.jl 4 comments
- Math3ma https://math3ma.com/ 3 comments
- [1003.4394] Mathematical Foundations for a Compositional Distributional Model of Meaning https://arxiv.org/abs/1003.4394 1 comment
- The Agda Wiki http://wiki.portal.chalmers.se/agda/pmwiki.php 0 comments
- Statebox http://statebox.org/ 0 comments
- [1603.04641] Compositional game theory https://arxiv.org/abs/1603.04641 0 comments
- Compositionality – The open-access journal for the mathematics of composition http://www.compositionality-journal.org/ 0 comments
- Category Theory for the Sciences https://mitpress.mit.edu/books/category-theory-sciences 0 comments
- [1907.08292] Compositional Deep Learning https://arxiv.org/abs/1907.08292 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - statebox/awesome-applied-ct: ACT community resources
See how to search.