# joelberkeley/spidr

<https://repo.masters-masters.com/en/repos/joelberkeley/spidr>

[Home](https://repo.masters-masters.com/en) › [joelberkeley](https://repo.masters-masters.com/en/owners/joelberkeley) › [spidr](https://repo.masters-masters.com/en/repos/joelberkeley/spidr)

joelberkeley/spidr has 101 stars on GitHub. Its RepoMasters card: Prototype tier. Accelerated machine learning with dependent types

| Field | Value |
| --- | --- |
| Owner | [joelberkeley](https://repo.masters-masters.com/en/owners/joelberkeley) |
| Stars | 101 |
| Forks | 0 |
| Language | No language |
| License | AGPL-3.0 |
| Created | 2020 |
| Topics | dependent-types, linear-algebra, machine-learning, probabilistic-modelling |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [joelberkeley/spidr](https://github.com/joelberkeley/spidr) |

## Repository

Accelerated machine learning with dependent types

Archived: this repository is read-only

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.