Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
151.
Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com/yamafaktory)
1 point
yamafaktory
2 months ago
discuss
152.
Show HN: HypergraphZ – Hypergraph Implementation in Zig (github.com/yamafaktory)
1 point
yamafaktory
3 months ago
discuss
153.
Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com/yamafaktory)
1 point
yamafaktory
3 months ago
discuss
154.
Show HN: High-performance NoSQL DB written in C# (github.com/metin-yakar)
1 point
githacker
4 months ago
discuss
155.
Agent Conductor – CLI orchestrator for multi-agent tmux sessions (github.com/gaurav-yadav)
1 point
rainmod
5 months ago
discuss
156.
Yabeda plugin to collect basic metrics for Rails applications (github.com/yabeda-rb)
1 point
mooreds
6 months ago
discuss
157.
Repomix: Code Compression with Tree-sitter (github.com/yamadashy)
1 point
ingve
a year ago
discuss
158.
Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com/yamafaktory)
1 point
yamafaktory
2 years ago
discuss
159.
Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com/yamafaktory)
1 point
yamafaktory
2 years ago
discuss
160.
Jql: A JSON Query Language CLI Tool (github.com/yamafaktory)
1 point
tosh
3 years ago
discuss
161.
Show HN: A new major version of jql has been released (github.com/yamafaktory)
1 point
yamafaktory
3 years ago
discuss
162.
Show HN: Picst – a Rust CLI tool to resize clipboard images on the fly (github.com/yamafaktory)
1 point
yamafaktory
4 years ago
discuss
163.
Show HN: Awesome-Japanese-A11y-Companies (github.com/yamanoku)
1 point
yamanoku
5 years ago
discuss
164.
Show HN: Hypergraph, a Rust data structure library to create directed hypegraphs (github.com/yamafaktory)
1 point
yamafaktory
5 years ago
discuss
165.
Show HN: Hypergraph, a Rust data structure library to create directed hypegraphs (github.com/yamafaktory)
1 point
yamafaktory
5 years ago
discuss
166.
Nachricht – A self-describing data interchange format (github.com/yasammez)
1 point
metters
5 years ago
discuss
167.
Show HN: Hypergraph – a Rust data structure library (github.com/yamafaktory)
1 point
yamafaktory
6 years ago
discuss
168.
Asynchronous allocation of TUN/TAP devices in Rust using async-std (github.com/yaa110)
1 point
yaa110
6 years ago
discuss
169.
Show HN: Graffiti – file-based GraphQL framework inspired by Next.js (github.com/yamalight)
1 point
yamalight
6 years ago
discuss
170.
Goterator: Go iterator implementation to provide map and reduce functionalities (github.com/yaa110)
1 point
yaa110
6 years ago
discuss
171.
Fullstack Reason–native-compiled server and ReasonReact client and code sharing (github.com/yawaramin)
1 point
yawaramin
6 years ago
discuss
172.
Show HN: Yawas web and pdf highlighter extension (Chrome and Firefox) (github.com/ldenoue)
1 point
ldenoue
7 years ago
discuss
173.
Sslice: Sorted Slice for Golang (github.com/yaa110)
1 point
yaa110
8 years ago
discuss
174.
Yubaba Element to element animation orchestrator for React.js (github.com/madou)
1 point
boyter
8 years ago
discuss
175.
Natural-orderby – lightweight+performant natural sorting of arrays/collections (github.com/yobacca)
1 point
yobacca
8 years ago
discuss
176.
Show HN: Interactive yaml configuration (github.com/ro31337)
1 point
RomanPushkin
8 years ago
discuss
177.
A codemod to do large-scale refactor of your relative path imports to alias (github.com/s-yadav)
1 point
sudhanshuyadav
8 years ago
discuss
178.
Summa: Practical examples of C programming language to save the day (github.com/yaa110)
1 point
yaa110
8 years ago
discuss
179.
A language-agnostic documentation tool (gist.github.com)
1 point
yawaramin
9 years ago
discuss
180.
React component to format numbers in an input or as a text (github.com/s-yadav)
1 point
sudhanshuyadav
9 years ago
discuss
More