1 result found Sort:

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