Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Polars is a fast multi-threaded DataFrame library in Rust and Python.
datafusion is an extensible query execution framework, written in Rust, that uses Apache Arrow as its in-memory format …
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
There are a few crates in Rust which can help read and write Parquet files, among which Polars is the best one. As a matter of fact, polars is a DataFrame …
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Easily verify your Rust in CI with Kani and Github Actions
From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
mdbook-mermaid is a preprocessor for mdbook to add mermaid.js support.
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Rust Design-for-Testability: a survey
Rust testing or verifying: Why not both?
KLEE Symbolic Execution Engine
Library-ification and analyzing Rust