The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Spidr Alternatives
Similar projects and alternatives to spidr
-
mit-deep-learning-book-pdf
MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
-
matrix-sized
Generic matrix with statically known size and bindings to C++ linear algebra libraries (Eigen, Spectra).
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Deeplearning4j
Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learning using automatic differentiation.
-
tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
spidr reviews and mentions
- Accelerated machine learning with dependent types
-
[Project] Idris and XLA: linear algebra and probabilistic modelling w. dependent types
In June, I announced I'd started work on a probabilistic modelling library in Idris. This post is to announce the first major milestone: basic linear algebra in Idris backed by XLA. Right now, this is only addition, but other ops are easy to add from here.
[In June](https://www.reddit.com/r/MachineLearning/comments/o9lqb8/probabilistic_modelling_project_w_dependent_types/?utm_source=share&utm_medium=web2x&context=3), I started work on a probabilistic modelling [library](https://github.com/joelberkeley/spidr) in Idris. This post is to announce the first major milestone: *basic linear algebra in Idris backed by XLA*. Right now, this is just addition, but adding ops will be easy from here.
-
ML engineering as [research]. Probabilistic modelling [project] w. dependent types. Early stages
I've been working almost full time on a probabilistic modelling framework with an API in Idris, a purely functional programming language with a very advanced type system incl. dependent types (you can parametrise tensor types by their shape, and more), quantitative types and theorem proving.
-
A note from our sponsor - WorkOS
workos.com | 19 Apr 2024
Stats
joelberkeley/spidr is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of spidr is Idris.