HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
Show HN: SkillFortify, a formal verification for AI agent skills
github.com/varun369
2 comments
4 months ago
varunpratap369
2 points
92.
▲
Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)
github.com/varun369
1 comment
4 months ago
varunpratap369
2 points
93.
▲
Show HN: Manifold – generate CLI and MCP surfaces from one .NET operation
github.com/Garume
discuss
3 months ago
garume
2 points
94.
▲
Show HN: Spine – an execution-centric backend framework for Go
spine.na2ru2.me
discuss
5 months ago
narubrown
2 points
95.
▲
Show HN: Plugins for file manager nnn
discuss
7 years ago
apjana
2 points
96.
▲
Lazy Connect
discuss
8 years ago
arunvelsriram
2 points
97.
▲
3 utilities for command-line lovers
discuss
10 years ago
apjana
2 points
98.
▲
Show HN: Shodh-Memory – Offline AI Memory for Robots and Drones (Rust/Python)
github.com/varun29ankuS
1 comment
7 months ago
shodh-varun
1 points
99.
▲
Arion – Watcher and runner for Hspec tests
discuss
11 years ago
karun012
1 points
100.
▲
Show HN: FastBack end – schema-first back end runtime with OpenAPI output
github.com/darula-hpp
discuss
a month ago
ombedzi
1 points
101.
▲
Show HN: SuperLocalMemory– Local-first AI memory for Claude, Cursor and 16+tools
github.com/varun369
discuss
4 months ago
varunpratap369
1 points
102.
▲
Show HN: SuperLocalMemory – AI memory that stays on your machine, forever free
github.com/varun369
discuss
4 months ago
varunpratap369
1 points
103.
▲
Show HN: Shodh – Cognitive memory for AI agents (runs on edge)
github.com/varun29ankuS
discuss
6 months ago
Varun_shodh
1 points
104.
▲
Show HN: Open-source AM32 ESC configurator with thrust test bench
vayu-dun.vercel.app
discuss
7 months ago
shodh-varun
1 points
105.
▲
Lets Put a Dent on the Universe
discuss
4 years ago
HarunaOseni
1 points
106.
▲
Opendream: A layer-based UI for Stable Diffusion
github.com/varunshenoy
137 comments
3 years ago
varunshenoy
472 points
107.
▲
Show HN: Semantic Grep – A Word2Vec-powered search tool
github.com/arunsupe
57 comments
2 years ago
arunsupe
356 points
108.
▲
GraphGPT: Extrapolating knowledge graphs from unstructured text
github.com/varunshenoy
46 comments
3 years ago
jonbaer
349 points
109.
▲
Nnn – a terminal file manager for programmers
github.com/jarun
193 comments
8 years ago
max_sendfeld
298 points
110.
▲
Panicparse: Crash your Go app in style
github.com/maruel
32 comments
11 years ago
jgrahamc
163 points
111.
▲
Elements of System Design
github.com/jarulraj
37 comments
a year ago
qianli_cs
159 points
112.
▲
Show HN: Ddgr – search DuckDuckGo from your terminal
github.com/jarun
52 comments
7 years ago
apjana
143 points
113.
▲
Sqlitefs: SQLite as a Filesystem
github.com/narumatt
39 comments
2 years ago
thunderbong
136 points
114.
▲
TBOX: A Multi-Platform C Library
github.com/waruqi
34 comments
10 years ago
TongKuo
130 points
115.
▲
Show HN: Nnn – unorthodox terminal file manager
github.com/jarun
103 comments
6 years ago
apjana
123 points
116.
▲
Lambdascript – A new pure functional language built on top of Python
github.com/baruchel
50 comments
9 years ago
baruchel
116 points
117.
▲
Buku v3.0 – Command Line Bookmark Manager
github.com/jarun
65 comments
9 years ago
apjana
106 points
118.
▲
Show HN: Keydogger – Minimal keyboard macro for Linux (Wayland)
github.com/jarusll
43 comments
2 years ago
jarusll
97 points
119.
▲
Fast nnn file browser v1.6 released
github.com/jarun
57 comments
8 years ago
apjana
95 points
120.
▲
Performance of nnn vs. ls
github.com/jarun
57 comments
7 years ago
apjana
84 points
More