spidr
matrix-sized
| spidr | matrix-sized | |
|---|---|---|
| 4 | - | |
| 61 | 0 | |
| - | - | |
| 5.9 | 0.0 | |
| 7 days ago | over 1 year ago | |
| Idris | C++ | |
| Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
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.
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.
matrix-sized
We haven't tracked posts mentioning matrix-sized yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
mit-deep-learning-book-pdf - MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
fms_blas - Lightweight BLAS (and some LAPACK) wrapper.
Idris2 - A purely functional programming language with first class types
MathNet - Math.NET Numerics
100-Days-Of-ML-Code - 100 Days of ML Coding
matrix-lens - Optics for the 'matrix' package.
pyro - Deep universal probabilistic programming with Python and PyTorch
monolish - monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture
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-static - Wrapper around matrix that adds matrix sizes to the type-level