Search: github.com/unkn0w | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

122.

Show HN: Pytagmapper – python3 SLAM library for square fiducial tags

github.com/markisus

4 years ago

2 points

123.

Ask HN: Improving the Usability of HN?

5 years ago

2 points

124.

Show HN: MicroSafe-RL – Sub-microsecond safety layer for Edge AI 1.18µs latency

github.com/Kretski

3 months ago

2 points

125.

Show HN: VibeBar – macOS Menu Bar Monitor for Claude Code, Codex and OpenCode

4 months ago

2 points

126.

Show HN: InferShield – A Lightweight Orchestration-Layer Attack Detector (POC)

github.com/InferShield

4 months ago

2 points

127.

Show HN: ESP32-S3 probe – a UART "flight recorder" with auto frame decoder

github.com/choihimchan

4 months ago

2 points

128.

Show HN: DepGuard – Local dependency audit and license compliance (10 pkg mgrs)

github.com/suhteevah

4 months ago

2 points

129.

Show HN: Catelingo – Constraint-Based Semantic Validity Checker for LLM Outputs

github.com/ShinobuMiya

6 months ago

2 points

130.

Show HN: GameTran – Your language assistant in computer games

github.com/ivanyu

6 months ago

2 points

131.

Show HN: Crovia Spider v1 –Forensic crawler exposing compliance gaps in LAION-5B

github.com/croviatrust

7 months ago

2 points

132.

Show HN: Echos – A lightweight multi-agent AI system with pre-built agents

github.com/treadiehq

7 months ago

2 points

133.

Show HN: Chakra – An open source WASM runtime in Rust

a year ago

2 points

134.

Show HN: Less Speaker.txt – Stop media playback on audio output device change

github.com/aditya24raj

a year ago

2 points

135.

Show HN: Through the Geek's Lens

github.com/marcmagransdeabril

a year ago

2 points

136.

Show HN: Laced – Interconnected unit testing framework

github.com/nizarmah

2 years ago

2 points

137.

Show HN: ComfyRun – Run and share any ComfyUI workflow with no manual setup

2 years ago

2 points

138.

Show HN: Data Caterer – Data testing tool for any data source

github.com/data-catering

3 years ago

2 points

139.

Important information about your GitHub account

3 years ago

2 points

140.

Show HN: Web Digest – Collection of (daily) big stories on the web

webdigest.pages.dev

3 years ago

2 points

141.

Looking for Contributors and Sponsors for CVPM (Computer Vision Package Manager)

8 years ago

2 points

142.

Ask HN: Something weird with accessing through a node.js proxy?

15 years ago

1 points

143.

Show HN: I built a graph store so my LLM can't hallucinate facts from my data

github.com/TyKolt

4 months ago

1 points

144.

Show HN: Blockrand – Verifiable randomness API with a double-blind threat model

github.com/blockrand-api

5 months ago

rishi_blockrand

1 points

145.

Show HN: An Agent First Slack CLI

github.com/tilework-tech

2 months ago

1 points

146.

Show HN: NPM install is a security hole, so we built a guard for it

github.com/safedep

3 months ago

1 points

147.

Show HN: Oo – compress output for coding agents (cargo test → "47 passed, 2.1s")

github.com/randomm

3 months ago

1 points

148.

Show HN: RedDragon, LLM-assisted IR analysis of code across languages

github.com/avishek-sen-gupta

4 months ago

1 points

149.

Open Memory Initiative (OMI) - an open DDR4 UDIMM reference design

4 months ago

1 points

150.

Show HN: MicroGPT-C – C99 GPT for Edge Training and Tiny Model Pipelines

github.com/enjector

4 months ago

1 points