Search: github.com/guaka | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: I Found a Way for Crypto Casinos to Be Fair

probablyfair.org

8 months ago

3 points

182.

Show HN: Wasmind – A framework for building massively parallel agentic systems

github.com/SilasMarvin

9 months ago

3 points

183.

Show HN: Tsuki – Lua 5.4 ported to Rust

github.com/ultimaweapon

10 months ago

3 points

184.

Show HN: Regolith – Regex library for TypeScript made to prevent ReDoS attacks

github.com/JakeRoggenbuck

10 months ago

3 points

185.

Show HN: Vorsteh Queue – A powerful, ORM-agnostic queue engine

github.com/noxify

a year ago

3 points

186.

Show HN: A Source File Viewer

github.com/russellw

a year ago

3 points

187.

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

github.com/danielcota

a year ago

3 points

188.

Show HN: Currex, Pythonic currency calculator with real-time exchange rates

github.com/stared

a year ago

3 points

189.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

190.

Show HN: A new programming language stronger than SQL, Java, and Python?

github.com/SPLWare

3 years ago

2 points

191.

New Open Source from Non-Traditional Builder

3 months ago

2 points

192.

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

a year ago

2 points

193.

Show HN: Hallx – Hallucination risk scoring for LLM outputs

github.com/dhanushk-offl

3 months ago

2 points

194.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

195.

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

4 months ago

2 points

196.

Show HN: I built a "sudo" mechanism for AI agents

github.com/cordum-io

5 months ago

2 points

197.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

198.

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

github.com/varun369

4 months ago

2 points

199.

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

github.com/encypherai

a year ago

2 points

200.

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

201.

Show HN: TurnZero – Persistent Expert for LLMs

2 months ago

2 points

202.

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

2 months ago

2 points

203.

Show HN: ImmutableBase – Strict immutable data objects for PHP

github.com/ReallifeKip

4 months ago

2 points

204.

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

github.com/VihaanInnovations

4 months ago

2 points

205.

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

4 months ago

2 points

206.

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

github.com/vbario

4 months ago

2 points

207.

Show HN: Agent workspace switcher for Git worktrees

github.com/prbdias

4 months ago

2 points

208.

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

github.com/FusionAlchemist

4 months ago

fusionalchemist

2 points

209.

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

github.com/funvibe

4 months ago

2 points

210.

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

github.com/nerv-bit

5 months ago

2 points