Accelerated machine learning with dependent types
spidr has moved to Codeberg. This GitHub repository will not receive updates.
This repository was archived by the owner on Dec 31, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
Accelerated machine learning with dependent types
License
joelberkeley/spidr
About
Accelerated machine learning with dependent types
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published