spidr
Accelerated machine learning with dependent types (by joelberkeley)
pyro
Deep universal probabilistic programming with Python and PyTorch (by pyro-ppl)
spidr | pyro | |
---|---|---|
4 | 9 | |
61 | 8,364 | |
- | 0.5% | |
5.9 | 8.4 | |
7 days ago | 10 days ago | |
Idris | Python | |
Apache License 2.0 | Apache License 2.0 |
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.
pyro
Posts with mentions or reviews of pyro.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-01-11.
-
Show HN: Designing Bridges with PyTorch
Mostly I use pytorch for statistical modeling https://pyro.ai . Under the hood that package uses a lot of Monte Carlo integration and variational methods (i.e. integration by optimization). It does support neural nets, but probably >80% of pyro users stick to simpler hierarchical Bayesian models.
- Pyro: The Universal, Probablistic Programming Language
- The Jupyter+Git problem is now solved
- Pyro: Deep universal probabilistic programming with Python and PyTorch
-
Computational Bayesian Inference Techniques
Amortized Variational Inference (Like done in pyro.ai with neural networks)
-
[P] torchegranate: a PyTorch rewrite of the pomegranate library for probabilistic modeling
Can you compare this to Pyro, which is also built on top of PyTorch?
- [Q] Updated book or review paper on MCMC methods
- Is anyone here working in uncertainty estimation in neural networks?
-
[D] Do you train and deploy models using just one framework or multiple frameworks at work?
Using pyod, statmodels, scikit-learn, Tensorflow and pyro.ai (that is using PyTorch as backend). I always use the same framework for training and for production.