Alternatives and similar repositories for ferric

Users that are interested in ferric are comparing it to the libraries listed below

• promised-ai / rv
  Random variables for Rust
  ☆19Updated 2 weeks ago
• pymc-devs / nuts-rs
  A implementation of NUTS in rust
  ☆76Updated last week
• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆89Updated last week
• ManifoldFR / point-process-rust
  Simulation of point processes in the Rust programming language
  ☆42Updated 2 years ago
• promised-ai / lace
  A probabalistic ML tool for science
  ☆123Updated 3 months ago
• LaurentMazare / xla-rs
  Experimentation using the xla compiler from rust
  ☆93Updated 9 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• agarret7 / modppl
  Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…
  ☆12Updated 9 months ago
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆101Updated 2 years ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆35Updated 2 weeks ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆66Updated this week
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• cksac / rai
  RAI: Rust ML framework with composable transformations like JAX.
  ☆89Updated 10 months ago
• MOSEK / mosek.rust
  MOSEK Optimizer API for Rust
  ☆12Updated last month
• probsys / AutoGP.jl
  Automated Bayesian model discovery for time series data
  ☆74Updated 3 months ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆20Updated last week
• nestordemeure / friedrich
  A Rust implementation of Gaussian Process regression.
  ☆56Updated last year
• lyphyser / deptypes
  ☆17Updated last year
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆148Updated this week
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• Eh2406 / quadrature
  Fast Numerical Integration
  ☆23Updated 6 years ago
• cando / Algar
  Algebraic structures, higher-kinded types and other category theory bad ideas
  ☆19Updated 2 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• liborty / rstats
  Statistics, Information Measures, Linear Algebra, Cholesky Matrix Decomposition, Mahalanobis Distance, Householder QR Decomposition, Clif…
  ☆52Updated 10 months ago
• Erk- / genfut
  Generate bindings for Futhark
  ☆38Updated 2 years ago
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆107Updated 4 years ago
• ManifoldFR / rust-metropolis
  Implementation of the Metropolis algorithm in the Rust programming language
  ☆19Updated 6 years ago
• rust-scicomp / scientific-computing-in-rust-monthly
  ☆30Updated 3 weeks ago
• elrnv / autodiff
  Auto differentiation library
  ☆69Updated last month