Show HN: Whetuu – An opinionated, zero-config status line and history pickergithub.com·13 pts·yamafaktory·1
Show HN: Whetuu – a zero-config cross-shell prompt written in Zigyamafaktory.github.io·50 pts·yamafaktory·38
Show HN: Hypergraph – directed hypergraph library in Rust (40 graph algorithms)github.com·2 pts·yamafaktory·0
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindingsgithub.com·1 pts·yamafaktory·0
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindingsgithub.com·1 pts·yamafaktory·0
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindingsgithub.com·2 pts·yamafaktory·0
Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Ziggithub.com·2 pts·yamafaktory·0
Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlibgithub.com·1 pts·yamafaktory·0
Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlibgithub.com·1 pts·yamafaktory·0
Show HN: Formal – Formal verification for AI-generated code using Lean 4github.com·4 pts·yamafaktory·4
Show HN: Picst – a cross-platform CLI tool to resize clipboard images on the flycrates.io·2 pts·yamafaktory·0