spidr

Accelerated machine learning with dependent types (by joelberkeley)

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.

    InfluxDB logo
  • Idris2

    39 spidr VS Idris2

    A purely functional programming language with first class types

  • pyro

    9 spidr VS pyro

    Deep universal probabilistic programming with Python and PyTorch

  • 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.

    WorkOS logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better spidr alternative or higher similarity.

spidr reviews and mentions

Posts with mentions or reviews of spidr. We have used some of these posts to build our list of alternatives and similar projects.

Stats

Basic spidr repo stats
4
60
5.9
4 days ago

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.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com