26
4
Show HN: Whetuu – a zero-config cross-shell prompt written in Zig (github.com/yamafaktory)
4
Show HN: Whetuu – a zero-config cross-shell prompt written in Zig (github.com/yamafaktory)
1
Show HN: Hypergraph – directed hypergraph library in Rust (40 graph algorithms) (github.com/yamafaktory)
1
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com/yamafaktory)
1
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com/yamafaktory)
1
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com/yamafaktory)
2
Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Zig (github.com/yamafaktory)
1
Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory)
1
Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com/yamafaktory)
1
Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com/yamafaktory)
4
Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com/yamafaktory)
1
Show HN: HypergraphZ – Hypergraph Implementation in Zig (github.com/yamafaktory)
1
Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory)
1
Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory)
1
Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory)
2
Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory)
8
Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory)
1
Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com/yamafaktory)
4
Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com/yamafaktory)
1
Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com/yamafaktory)
2
I am not yet ready to switch to Zig from Rust (turso.tech)
1
Unwind Considered Harmful? (smallcultfollowing.com)
1
Fast-rustup – an experiment with a different architecture for Rustup (github.com/dtolnay)
1
Show HN: Jql a JSON Query Language Tool Built with Rust (github.com/yamafaktory)
0
Show HN: A new major version of jql has been released (github.com/yamafaktory)
2
Show HN: A new major version of jql has been released (github.com/yamafaktory)
1
Show HN: Picst – a cross-platform CLI tool to resize clipboard images on the fly (crates.io)
1
Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly (github.com/yamafaktory)
1
Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly (github.com/yamafaktory)
1