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☆74Updated last month
- Simulation of point processes in the Rust programming language☆41Updated 2 years ago
- A rust fork to work towards Enzyme integration☆86Updated this week
- Random variables for Rust☆18Updated this week
- Datalog with equality for rust☆68Updated 5 months ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 5 years ago
- Propositional logic with types in Rust☆62Updated last year
- Rust implementation of the Simple(x) Global Optimization algorithm☆34Updated last year
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 2 weeks ago
- ☆36Updated 6 months ago
- Experimentation using the xla compiler from rust☆91Updated 8 months ago
- A probabalistic ML tool for science☆121Updated last month
- ☆16Updated last year
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆11Updated 8 months ago
- Enzyme integration into Rust. Experimental, do not use.☆102Updated 2 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆55Updated 9 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Auto differentiation library☆68Updated last year
- A Rust hashconsing library.☆32Updated 9 months ago
- RAI: Rust ML framework with composable transformations like JAX.☆87Updated 9 months ago
- Kernel density estimation in Rust.☆26Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Implementation of the Metropolis algorithm in the Rust programming language☆19Updated 5 years ago
- ☆17Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆91Updated 2 weeks ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Template for Lean<->Rust FFI☆12Updated last year
- A minimalist property-based testing library☆109Updated 2 months ago
- Algorithms in computational algebra written in rust☆53Updated this week
- .npy and .npz file format support for ndarray☆60Updated 7 months ago