Ferric-AI / ferric
A Probabilistic Programming Language In Rust
☆38Updated 2 years ago
Alternatives and similar repositories for ferric:
Users that are interested in ferric are comparing it to the libraries listed below
- A implementation of NUTS in rust☆73Updated 2 weeks ago
- A rust fork to work towards Enzyme integration☆84Updated last week
- Implementation of the Metropolis algorithm in the Rust programming language☆19Updated 5 years ago
- Enzyme integration into Rust. Experimental, do not use.☆102Updated 2 years ago
- Simulation of point processes in the Rust programming language☆41Updated 2 years ago
- Random variables for Rust☆18Updated last week
- A probabalistic ML tool for science☆120Updated 3 weeks ago
- Tensor library for machine learning☆26Updated last week
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 5 years ago
- A Rust implementation of Gaussian Process regression.☆56Updated last year
- Rust implementation of the Simple(x) Global Optimization algorithm☆32Updated last year
- Auto differentiation library☆68Updated last year
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 3 months ago
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆11Updated 7 months ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated 10 months ago
- Experimentation using the xla compiler from rust☆90Updated 7 months ago
- RAI: Rust ML framework with composable transformations like JAX.☆86Updated 8 months ago
- Datalog with equality for rust☆68Updated 5 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆88Updated last week
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Interface with the rustc compiler for the purpose of program verification☆125Updated this week
- Algorithms in computational algebra written in rust.☆41Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 4 months ago
- An attempt at safe imperative GPU programming.☆40Updated 3 months ago
- Rank Polymorphic array library for Rust.☆102Updated last year
- A Hindley-Milner polymorphic typing system☆58Updated last year
- Propositional logic with types in Rust☆62Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- ☆44Updated 2 years ago
- Dachshund is a graph mining library written in Rust. It provides high performance data structures for multiple kinds of graphs, from simp…☆90Updated last year