spidr
Accelerated machine learning with dependent types (by joelberkeley)
100-Days-Of-ML-Code
100 Days of ML Coding (by Avik-Jain)
spidr | 100-Days-Of-ML-Code | |
---|---|---|
4 | 3 | |
61 | 43,337 | |
- | - | |
5.9 | 0.0 | |
7 days ago | 4 months ago | |
Idris | ||
Apache License 2.0 | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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
Posts with mentions or reviews of spidr.
We have used some of these posts to build our list of alternatives
and similar projects.
- 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.
100-Days-Of-ML-Code
Posts with mentions or reviews of 100-Days-Of-ML-Code.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-02-07.
-
Top 10 GitHub Repositories Every Developer Should Bookmark in 2024
2) 100 Days of ML Code: Embark on a 100-day journey into the fascinating world of machine learning with this structured curriculum. Packed with bite-sized coding challenges and real-world projects, this repository will transform you from a coding novice to a confident ML enthusiast. (https://github.com/Avik-Jain/100-Days-Of-ML-Code)
-
✨ 5 Best GitHub Repositories to Learn Machine Learning in 2022 for Free 💯
1️⃣ 100 Days Of ML Code
-
The Ultimate Resource Guide for Your Next 100 Days of Code
ML: 100-Days-Of-ML-Code