joelberkeley/spidr

Accelerated machine learning with dependent types

101

1 commits

updated May 25, 2026

See the code

README

spidr

Accelerated machine learning with dependent types

spidr has moved to Codeberg, under the same user and repository name. This GitHub repository will not receive updates.

dependent-types

linear-algebra

machine-learning

probabilistic-modelling

Contributors

joelberkeley

1 commits

Similar repos

LRManamperi/Machine-Learning

knix008/MachineLearning

This repository will have machine learning example files.

statusfailed/catgrad

a categorical deep learning compiler

209

Ankushryuga/DeepLearning-And-ML

Deep Learning POC

garmashev-ov/MLOps

kirillkatsuba/ML_AM

fsprojects/fsharp-ai-tools

TensorFlow API for F# + F# for AI Models eDSL

211

futureke/MTFSLaMM

joelberkeley/spidr

Accelerated machine learning with dependent types

101

1 commits

updated May 25, 2026

See the code

README

spidr

Accelerated machine learning with dependent types

spidr has moved to Codeberg, under the same user and repository name. This GitHub repository will not receive updates.

dependent-types

linear-algebra

machine-learning

probabilistic-modelling

Similar repos

LRManamperi/Machine-Learning

knix008/MachineLearning

This repository will have machine learning example files.

statusfailed/catgrad

a categorical deep learning compiler

209

Ankushryuga/DeepLearning-And-ML

Deep Learning POC

garmashev-ov/MLOps

kirillkatsuba/ML_AM

fsprojects/fsharp-ai-tools

TensorFlow API for F# + F# for AI Models eDSL

211

futureke/MTFSLaMM

Contributors

joelberkeley

1 commits