GitHub - joelberkeley/spidr: Accelerated machine learning with dependent types - discu.eu

Reddit

[Project] Idris and XLA: linear algebra and probabilistic modelling w. dependent types https://github.com/joelberkeley/spidr 8 comments 27/12/2021 machinelearning

Linked pages

GitHub - idris-lang/Idris2: A purely functional programming language with first class types https://github.com/idris-lang/Idris2/ 0 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - joelberkeley/spidr: Accelerated machine learning with dependent types

See how to search.

Submit link to: