Search: github.com/guarin | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

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

github.com/varun369

4 months ago

2 points

182.

Show HN: EncypherAI, Open-source tool for cryptographically verifying AI text

github.com/encypherai

a year ago

2 points

183.

Show HN: Ts-result – Rust's Result<T, E> type for explicit error handling in TS

github.com/trylonai

a year ago

iLikeFunctional

2 points

184.

Microsoft Wakeup: You Have a Killer Static Site Generator!

7 years ago

2 points

185.

Show HN: TurnZero – Persistent Expert for LLMs

2 months ago

2 points

186.

Show HN: HWT (Hash Web Tokens) – minimalist protocol for auth state

2 months ago

2 points

187.

Show HN: Two Claudes collaborating through shared memory on a $100 mini-PC

2 months ago

2 points

188.

Show HN: ImmutableBase – Strict immutable data objects for PHP

github.com/ReallifeKip

4 months ago

2 points

189.

Show HN: Autonoma – Python secret fixer that refuses unsafe fixes

github.com/VihaanInnovations

4 months ago

2 points

190.

Show HN: Turn – A compiled systems language for agentic computation

4 months ago

2 points

191.

Show HN: MCP server that strips injection vectors from LLM input

github.com/timstarkk

4 months ago

2 points

192.

Show HN: Sleeping LLM – A language model that remembers by sleeping

github.com/vbario

4 months ago

2 points

193.

Show HN: Agent workspace switcher for Git worktrees

github.com/prbdias

4 months ago

2 points

194.

Show HN: System architecture method using mythology and LLMs (no CS background)"

github.com/FusionAlchemist

4 months ago

fusionalchemist

2 points

195.

Show HN: Funxy – A typed scripting language that embeds into Go apps

github.com/funvibe

4 months ago

2 points

196.

Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source]

github.com/nerv-bit

5 months ago

2 points

197.

Show HN: BlackTent – a strictly local CLI for sanitized incident bundles

github.com/sylviesuite

5 months ago

2 points

198.

Show HN: Kontra - data quality validator that avoids unnecessary full scans

github.com/Saevarl

5 months ago

2 points

199.

Show HN: PR Slop Stopper

github.com/vmazi

5 months ago

2 points

200.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

5 months ago

2 points

201.

Show HN: Atomic symlink deployments that work on macOS URL

github.com/mojoatomic

5 months ago

2 points

202.

Show HN: GAM7 Companion – macOS app that automates Google Workspace admin

github.com/halcarrell

5 months ago

2 points

203.

Show HN: I Turned EU Cyber Laws into Open Source Code

6 months ago

2 points

204.

Show HN: BlockFrame – A local, erasure-coded storage engine in Rust

github.com/crushr3sist

6 months ago

2 points

205.

Show HN: A web-based lighting controller built because my old became a brick

github.com/Arian-Ott

6 months ago

2 points

206.

Show HN: AvocadoDB – Deterministic RAG (same query, same context, every time)

6 months ago

2 points

207.

Show HN: Duron – Library for Building Durable AI Agent and Interactive Workflows

github.com/brian14708

8 months ago

2 points

208.

Show HN: I built an open-source CSV importer that I wish existed

github.com/importcsv

10 months ago

2 points

209.

Show HN: Creating a Binary Puzzle Game

taengo.vercel.app

a year ago

2 points

210.

Show HN: Manifold is a platform for workflow automation using AI assistants

github.com/intelligencedev

a year ago

2 points