Aydin Manzouri's starred repositories
criterion.rs
Statistics-driven benchmarking library for Rust
cargo-deny
❌ Cargo plugin for linting your dependencies 🦀
cargo-geiger
Detects usage of unsafe Rust in a Rust crate and its dependencies.
datafusion-comet
Apache DataFusion Comet Spark Accelerator
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
TopoEmbedX
Representation Learning on Topological Domains
a11y-audit-elixir
Automated accessibility testing for Elixir web applications using axe-core.
staking-in-tact
Staking Jetton token(ERC20 in TON) implement in Tact-lang
dioxus-lazy
Virtualized components for Dioxus
recurrency_baseline_tkg
A Baseline for Temporal Knowledge Graph Forecasting based on Recurrency of facts
tlb-rust-serialization
Rust macro library that allows to implement serialization of Rust structs into TON cells.