Alternatives and similar repositories for ferric:

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

• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆83Updated this week
• pymc-devs / nuts-rs
  A implementation of NUTS in rust
  ☆73Updated last month
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆102Updated 2 years ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆35Updated 3 months ago
• promised-ai / lace
  A probabalistic ML tool for science
  ☆116Updated last week
• promised-ai / rv
  Random variables for Rust
  ☆18Updated this week
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• ManifoldFR / point-process-rust
  Simulation of point processes in the Rust programming language
  ☆41Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 4 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 3 months ago
• LaurentMazare / xla-rs
  Experimentation using the xla compiler from rust
  ☆90Updated 6 months ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• agentultra / lean-4-hackers
  ☆17Updated 3 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆119Updated this week
• argmin-rs / modcholesky
  Modified Cholesky decompositions
  ☆13Updated 6 months ago
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆96Updated 2 months ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust.
  ☆38Updated last month
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 7 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 5 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆94Updated this week
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆54Updated 8 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• elrnv / autodiff
  Auto differentiation library
  ☆68Updated last year
• jlogan03 / interpn
  N-dimensional interpolation methods in Rust, no-std compatible
  ☆12Updated last week
• lyphyser / deptypes
  ☆16Updated last year
• agarret7 / modppl
  Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…
  ☆11Updated 6 months ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• rust-scicomp / scientific-computing-in-rust-monthly
  ☆29Updated 3 weeks ago
• blas-lapack-rs / blas
  Wrappers for BLAS (Fortran)
  ☆77Updated last month