| | Show HN: Whetuu – An opinionated, zero-config status line and history picker (github.com/yamafaktory) |
| 13 points by yamafaktory 1 day ago | past | 1 comment |
|
| | Show HN: Whetuu – a zero-config cross-shell prompt written in Zig (github.com/yamafaktory) |
| 2 points by yamafaktory 51 days ago | past | 2 comments |
|
| | Show HN: Whetuu – a zero-config cross-shell prompt written in Zig (github.com/yamafaktory) |
| 4 points by yamafaktory 52 days ago | past | 1 comment |
|
| | Show HN: Hypergraph – directed hypergraph library in Rust (40 graph algorithms) (github.com/yamafaktory) |
| 2 points by yamafaktory 3 months ago | past |
|
| | Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com/yamafaktory) |
| 1 point by yamafaktory 3 months ago | past |
|
| | Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com/yamafaktory) |
| 1 point by yamafaktory 3 months ago | past |
|
| | Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com/yamafaktory) |
| 2 points by yamafaktory 3 months ago | past |
|
| | Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Zig (github.com/yamafaktory) |
| 2 points by yamafaktory 4 months ago | past |
|
| | Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 2 points by yamafaktory 4 months ago | past |
|
| | Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com/yamafaktory) |
| 1 point by yamafaktory 4 months ago | past |
|
| | Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com/yamafaktory) |
| 1 point by yamafaktory 5 months ago | past |
|
| | Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com/yamafaktory) |
| 4 points by yamafaktory 5 months ago | past | 4 comments |
|
| | Show HN: HypergraphZ – Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 1 point by yamafaktory 5 months ago | past |
|
| | Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 2 points by yamafaktory 5 months ago | past |
|
| | Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 1 point by yamafaktory 5 months ago | past |
|
| | Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 2 points by yamafaktory on Sept 10, 2024 | past |
|
| | Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 2 points by yamafaktory on Sept 10, 2024 | past |
|
| | Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 65 points by yamafaktory on Sept 9, 2024 | past | 16 comments |
|
| | Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 1 point by yamafaktory on Sept 4, 2024 | past |
|
| | Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 18 points by yamafaktory on Aug 28, 2024 | past | 2 comments |
|
| | Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com/yamafaktory) |
| 1 point by yamafaktory on Aug 27, 2024 | past |
|
| | Jql: A JSON Query Language CLI Tool (github.com/yamafaktory) |
| 1 point by tosh on Dec 3, 2023 | past |
|
| | Show HN: Jql a JSON Query Language Tool Built with Rust (github.com/yamafaktory) |
| 3 points by yamafaktory on July 1, 2023 | past |
|
| | Show HN: A new major version of jql has been released (github.com/yamafaktory) |
| 1 point by yamafaktory on April 24, 2023 | past |
|
| | Show HN: A new major version of jql has been released (github.com/yamafaktory) |
| 2 points by yamafaktory on April 23, 2023 | past |
|
| | Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly (github.com/yamafaktory) |
| 2 points by yamafaktory on Nov 11, 2022 | past |
|
| | Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly (github.com/yamafaktory) |
| 4 points by yamafaktory on Nov 7, 2022 | past |
|
| | Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly (github.com/yamafaktory) |
| 1 point by yamafaktory on Nov 6, 2022 | past |
|
| | Show HN: Hypergraph, a data structure library to generate directed hypergraphs (github.com/yamafaktory) |
| 47 points by yamafaktory on Aug 23, 2021 | past | 17 comments |
|
| | Show HN: Hypergraph, a Rust data structure library to create directed hypegraphs (github.com/yamafaktory) |
| 1 point by yamafaktory on June 14, 2021 | past |
|
|
| More |
