Stories by yamafaktory

Show HN: Hypergraph – directed hypergraph library in Rust (40 graph algorithms)

Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings

Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings

Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings

Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Zig

Show HN: HypergraphZ – A Hypergraph Implementation in Zig

Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib

Show HN: Formal – Formal verification for AI-generated code using Lean 4

Show HN: HypergraphZ – Hypergraph Implementation in Zig

Show HN: HypergraphZ – A Hypergraph Implementation in Zig

Show HN: HypergraphZ – A Hypergraph Implementation in Zig

Show HN: HypergraphZ – A Hypergraph Implementation in Zig

Show HN: HypergraphZ – A Hypergraph Implementation in Zig

Show HN: HypergraphZ – A Hypergraph Implementation in Zig

Show HN: HyperZig – A Hypergraph Implementation in Zig

Show HN: HyperZig – A Hypergraph Implementation in Zig

Show HN: HyperZig – A Hypergraph Implementation in Zig

I am not yet ready to switch to Zig from Rust

Unwind Considered Harmful?

1 2