matrix-sized
spidr
Our great sponsors
matrix-sized | spidr | |
---|---|---|
- | 4 | |
0 | 60 | |
- | - | |
0.0 | 5.9 | |
over 1 year ago | 6 days ago | |
C++ | Idris | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
matrix-sized
We haven't tracked posts mentioning matrix-sized yet.
Tracking mentions began in Dec 2020.
spidr
- 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.
What are some alternatives?
fms_blas - Lightweight BLAS (and some LAPACK) wrapper.
mit-deep-learning-book-pdf - MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
MathNet - Math.NET Numerics
Idris2 - A purely functional programming language with first class types
matrix-lens - Optics for the 'matrix' package.
100-Days-Of-ML-Code - 100 Days of ML Coding
monolish - monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture
pyro - Deep universal probabilistic programming with Python and PyTorch
matrix-static - Wrapper around matrix that adds matrix sizes to the type-level
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.
Matrix - Easy-to-use Scientific Computing library in/for C++ available for Linux and Windows.
tensor-safe - A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.