yamafaktory | Dark Hacker News

user:	yamafaktory
created:	September 10, 2012
karma:	544
about:	https://github.com/yamafaktory

1.	Show HN: Whetuu – An opinionated, zero-config status line and history picker(github.com) 13 points by yamafaktory 2 days ago \| 1 comment
2.	Show HN: Whetuu – a zero-config cross-shell prompt written in Zig(yamafaktory.github.io) 50 points by yamafaktory 50 days ago \| 38 comments
3.	Show HN: Whetuu – a zero-config cross-shell prompt written in Zig(github.com) 2 points by yamafaktory 52 days ago \| 2 comments
4.	Show HN: Whetuu – a zero-config cross-shell prompt written in Zig(github.com) 4 points by yamafaktory 53 days ago \| 1 comment
5.	Show HN: Hypergraph – directed hypergraph library in Rust (40 graph algorithms)(github.com) 2 points by yamafaktory 109 days ago \| 0 comments
6.	Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings(github.com) 1 points by yamafaktory 115 days ago \| 0 comments
7.	Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings(github.com) 1 points by yamafaktory 116 days ago \| 0 comments
8.	Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings(github.com) 2 points by yamafaktory 117 days ago \| 0 comments
9.	Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Zig(github.com) 2 points by yamafaktory 130 days ago \| 0 comments
10.	Show HN: HypergraphZ – A Hypergraph Implementation in Zig(github.com) 2 points by yamafaktory 131 days ago \| 0 comments
11.	Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib(github.com) 1 points by yamafaktory 148 days ago \| 0 comments
12.	Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib(github.com) 1 points by yamafaktory 151 days ago \| 0 comments