1 result found Sort:

joelberkeley
spidr joelberkeley
4
76
apache-2.0
3
Accelerated machine learning with dependent types
linear-algebra dependent-types machine-learning probabilistic-modelling
Created 2020-03-01
284 commits to master branch, last one 23 days ago