Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: HypergraphZ – A Hypergraph Implementation in Zig
(github.com/yamafaktory)
65 points
yamafaktory
2 years ago
16 comments
2.
▲
Show HN: Hypergraph, a data structure library to generate directed hypergraphs
(github.com/yamafaktory)
47 points
yamafaktory
5 years ago
17 comments
3.
▲
Show HN: HyperZig – A Hypergraph Implementation in Zig
(github.com/yamafaktory)
18 points
yamafaktory
2 years ago
2 comments
4.
▲
Show HN: Jql – A JSON Query Language CLI Tool Written in Rust
(github.com/yamafaktory)
9 points
yamafaktory
7 years ago
discuss
5.
▲
Show HN: Rust-wasm-webpack
(github.com/yamafaktory)
6 points
yamafaktory
8 years ago
discuss
6.
▲
Show HN: Formal – Formal verification for AI-generated code using Lean 4
(github.com/yamafaktory)
4 points
yamafaktory
2 months ago
4 comments
7.
▲
Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly
(github.com/yamafaktory)
4 points
yamafaktory
4 years ago
discuss
8.
▲
Show HN: CraftQL – A Rust CLI tool for GraphQL schemas with graphviz output
(github.com/yamafaktory)
4 points
yamafaktory
6 years ago
discuss
9.
▲
Shrimpit – CLI analysis tool for checking unused JavaScript, JSX and Vue exports
(github.com/yamafaktory)
3 points
yamafaktory
9 years ago
1 comment
10.
▲
Show HN: Jql a JSON Query Language Tool Built with Rust
(github.com/yamafaktory)
3 points
yamafaktory
3 years ago
discuss
11.
▲
Create amazing 360 and VR content using React and TypeScript
(github.com/yamafaktory)
3 points
yamafaktory
9 years ago
discuss
12.
▲
Shrimpit, command line to check unused JavaScript and JSX
(github.com/yamafaktory)
3 points
vvoyer
9 years ago
discuss
13.
▲
Show HN: Sigma.io – An open-source hybrid between pinterest and a live chat
(github.com/yamafaktory)
2 points
yamafaktory
12 years ago
discuss
14.
▲
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings
(github.com/yamafaktory)
2 points
yamafaktory
18 days ago
discuss
15.
▲
Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Zig
(github.com/yamafaktory)
2 points
yamafaktory
a month ago
discuss
16.
▲
Show HN: HypergraphZ – A Hypergraph Implementation in Zig
(github.com/yamafaktory)
2 points
yamafaktory
a month ago
discuss
17.
▲
Show HN: HypergraphZ – A Hypergraph Implementation in Zig
(github.com/yamafaktory)
2 points
yamafaktory
3 months ago
discuss
18.
▲
Show HN: HypergraphZ – A Hypergraph Implementation in Zig
(github.com/yamafaktory)
2 points
yamafaktory
2 years ago
discuss
19.
▲
Show HN: HypergraphZ – A Hypergraph Implementation in Zig
(github.com/yamafaktory)
2 points
yamafaktory
2 years ago
discuss
20.
▲
Show HN: A new major version of jql has been released
(github.com/yamafaktory)
2 points
yamafaktory
3 years ago
discuss
21.
▲
Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly
(github.com/yamafaktory)
2 points
yamafaktory
4 years ago
discuss
22.
▲
Show HN: Jql – A JSON Query Language CLI Tool Built in Rust
(github.com/yamafaktory)
2 points
yamafaktory
7 years ago
discuss
23.
▲
Show HN: Pattern-guard – Node.js module to get the Haskell guards in JavaScript
(github.com/yamafaktory)
2 points
yamafaktory
9 years ago
discuss
24.
▲
Show HN: Shrimpit – a CLI tool for checking unused JavaScript and JSX exports
(github.com/yamafaktory)
2 points
yamafaktory
9 years ago
discuss
25.
▲
A simple starter project to build cool React applications with Babel and Rollup
(github.com/yamafaktory)
2 points
yamafaktory
10 years ago
discuss
26.
▲
A simple starter project for building Reflex applications with Stack
(github.com/yamafaktory)
2 points
yamafaktory
10 years ago
discuss
27.
▲
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings
(github.com/yamafaktory)
1 point
yamafaktory
15 days ago
discuss
28.
▲
Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings
(github.com/yamafaktory)
1 point
yamafaktory
17 days ago
discuss
29.
▲
Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib
(github.com/yamafaktory)
1 point
yamafaktory
2 months ago
discuss
30.
▲
Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib
(github.com/yamafaktory)
1 point
yamafaktory
2 months ago
discuss
More