PrototypeCommon
joelberkeley/spidr
Accelerated machine learning with dependent types
Archived: this repository is read-only
- Owner
- joelberkeley (personal account)
- Stars
- Stars: 101
- Forks
- Forks: 0
- Language
- No language
- License
- AGPL-3.0
- Created
- 2020
- Topics
- dependent-typeslinear-algebramachine-learningprobabilistic-modelling
- Tier
- Prototype (100 to 249 ★) What this tier means