Search: github.com/guaka | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: Tsuki – Lua 5.4 ported to Rust (github.com/ultimaweapon)

3 points

9 months ago

182.

Show HN: Regolith – Regex library for TypeScript made to prevent ReDoS attacks (github.com/JakeRoggenbuck)

3 points

10 months ago

183.

Show HN: Vorsteh Queue – A powerful, ORM-agnostic queue engine (github.com/noxify)

3 points

10 months ago

184.

Show HN: A Source File Viewer (github.com/russellw)

3 points

a year ago

185.

biski64 – Fast C PRNG (.42ns), 2^64 Period, BigCrush/PractRand Pass (github.com/danielcota)

3 points

a year ago

186.

Show HN: Currex, Pythonic currency calculator with real-time exchange rates (github.com/stared)

3 points

a year ago

187.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

188.

Show HN: A new programming language stronger than SQL, Java, and Python? (github.com/SPLWare)

2 points

3 years ago

189.

New Open Source from Non-Traditional Builder

2 points

2 months ago

190.

Ask HN: Using GPT as a logic circuit instead of a text generator – Anyone tried?

2 points

a year ago

191.

Show HN: Hallx – Hallucination risk scoring for LLM outputs (github.com/dhanushk-offl)

2 points

2 months ago

192.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

193.

Meishi Challenges Apple/Google: Open-Source P2P E2EE Contacts

2 points

3 months ago

194.

Show HN: I built a "sudo" mechanism for AI agents (github.com/cordum-io)

2 points

5 months ago

195.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

196.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

197.

Show HN: EncypherAI, Open-source tool for cryptographically verifying AI text (github.com/encypherai)

2 points

a year ago

198.

Show HN: Ts-result – Rust's Result<T, E> type for explicit error handling in TS (github.com/trylonai)

2 points

iLikeFunctional

a year ago

199.

Show HN: TurnZero – Persistent Expert for LLMs

2 points

a month ago

200.

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

2 points

2 months ago

201.

Show HN: ImmutableBase – Strict immutable data objects for PHP (github.com/ReallifeKip)

2 points

3 months ago

202.

Show HN: Autonoma – Python secret fixer that refuses unsafe fixes (github.com/VihaanInnovations)

2 points

3 months ago

203.

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

2 points

3 months ago

204.

Show HN: Sleeping LLM – A language model that remembers by sleeping (github.com/vbario)

2 points

3 months ago

205.

Show HN: Agent workspace switcher for Git worktrees (github.com/prbdias)

2 points

3 months ago

206.

Show HN: System architecture method using mythology and LLMs (no CS background)" (github.com/FusionAlchemist)

2 points

fusionalchemist

4 months ago

207.

Show HN: Funxy – A typed scripting language that embeds into Go apps (github.com/funvibe)

2 points

4 months ago

208.

Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source] (github.com/nerv-bit)

2 points

4 months ago

209.

Show HN: BlackTent – a strictly local CLI for sanitized incident bundles (github.com/sylviesuite)

2 points

4 months ago

210.

Show HN: Kontra - data quality validator that avoids unnecessary full scans (github.com/Saevarl)

2 points

4 months ago