1 result found Sort:

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