Ferric-AI / ferricLinks
A Probabilistic Programming Language In Rust
☆40Updated 3 years ago
Alternatives and similar repositories for ferric
Users that are interested in ferric are comparing it to the libraries listed below
Sorting:
- A implementation of NUTS in rust☆83Updated last month
- A rust fork to work towards Enzyme integration☆90Updated last month
- Random variables for Rust☆20Updated last month
- Propositional logic with types in Rust☆62Updated last year
- Datalog with equality for rust☆68Updated last month
- A probabalistic ML tool for science☆127Updated 3 months ago
- Enzyme integration into Rust. Experimental, do not use.☆101Updated 2 years ago
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆12Updated 10 months ago
- Simulation of point processes in the Rust programming language☆43Updated 2 years ago
- ☆30Updated 3 weeks ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- A Rust hashconsing library.☆32Updated 11 months ago
- Experimentation using the xla compiler from rust☆94Updated 10 months ago
- Rust implementation of the Simple(x) Global Optimization algorithm☆33Updated 2 years ago
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…☆20Updated last week
- work in progress book on Scientific Computing in Lean☆13Updated 3 months ago
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A regex crate using Brzozowski derivatives.☆26Updated 2 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- An experimental library for metaprogramming with algebraic effects and handlers☆11Updated this week
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Updated 2 months ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Tensor library for machine learning☆27Updated last week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆98Updated last month
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated 3 weeks ago
- Rustic bindings to the IREE Compiler/Runtime☆21Updated last month
- Experimental type level programming in Rust☆37Updated 3 years ago