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
  ☆86Updated this week
• pymc-devs / nuts-rs
  A implementation of NUTS in rust
  ☆75Updated last month
• LaurentMazare / xla-rs
  Experimentation using the xla compiler from rust
  ☆92Updated 8 months ago
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆101Updated 2 years ago
• promised-ai / lace
  A probabalistic ML tool for science
  ☆122Updated 2 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• cksac / rai
  RAI: Rust ML framework with composable transformations like JAX.
  ☆88Updated 9 months ago
• agarret7 / modppl
  Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…
  ☆11Updated 8 months ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆35Updated last month
• 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 last week
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆57Updated 10 months ago
• promised-ai / rv
  Random variables for Rust
  ☆18Updated this week
• agentultra / lean-4-hackers
  ☆17Updated 3 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated last week
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆139Updated this week
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆62Updated 2 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆32Updated 9 months ago
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• lyphyser / deptypes
  ☆16Updated 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
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 6 months ago
• Eh2406 / quadrature
  Fast Numerical Integration
  ☆23Updated 6 years ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆85Updated 4 years ago