Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

• Dremel: Interactive Analysis of Web-Scale Datasets

• Dremel made simple with Parquet

• Arrow and Parquet Part 2: Nested and Hierarchical Data using Structs and Lists

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

Test vs Verification

Rust Design-for-Testability: a survey

Rust testing or verifying: Why not both?

KLEE Symbolic Execution Engine

Library-ification and analyzing Rust

References

• Verify Rust Code

• Unit Test in Rust

• Issues …

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

pyAudioAnalysis

pyAudioAnalysis is a Python library covering a wide range of audio analysis tasks.