kitasan Karma 8 Created 1 month ago Recent Submissions 1. ▲ Show HN: OxiMedia – Pure Rust Reconstruction of FFmpeg and OpenCV (github.com) 11 points · 17 hours ago · 8 comments 2. ▲ Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM) 2 points · 3 days ago · 1 comment 3. ▲ Show HN: Ipfrs – A "Thinking" IPFS in Rust with Built-In Vector Search (github.com) 5 points · 1 month ago · 1 comment All submissions on HN · View profile on HN