HN Explorer

kitasan

↗ HN profile [ 25.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. 1 points 0
  4. 1 points 0
  5. Show HN: OxiGDAL – A pure Rust replacement for GDAL with zero C/C++ dependencies (github.com)

    Hey HN! We're releasing OxiGDAL v0.1.0, a production-grade geospatial data abstraction library written in 100% pure Rust -- no C/C++/Fortran toolchain required. If you've ever fought with gdal-sys linking errors,…

    2 points 0
  6. Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)

    Hey HN, Just dropped v0.1.0 of OxiLean yesterday. It's a full Interactive Theorem Prover written 100% in Rust (1.2 million lines across 11 crates). Inspired by Lean 4, implements Calculus of Inductive Constructions,…

    2 points 1
  7. Show HN: Ipfrs – A "Thinking" IPFS in Rust with Built-In Vector Search (github.com)

    I built a "Thinking" IPFS in Rust. Unlike standard IPFS, IPFRS supports built-in Semantic Search (HNSW) & Logic Programming on the DAG. You can query content by meaning, not just hash. Looking for feedback on the…

    5 points 1