Search: github.com/leplay | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: DynamoLens – native, open-source DynamoDB desktop client (Go and Wails)

github.com/rasjonell

5 months ago

2 points

302.

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

5 months ago

2 points

303.

Show HN: Market Processing Engine in C++20 (150M orders/SEC)

github.com/PIYUSH-KUMAR1809

6 months ago

2 points

304.

Show HN: Diff-journal – append-only file change journaling for Node.js

github.com/svenschaefer

6 months ago

2 points

305.

Show HN: I built a deterministic vector DB kernel in Rust using fixed-point math

github.com/varshith-Git

6 months ago

2 points

306.

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

github.com/brian14708

8 months ago

2 points

307.

Show HN: GitType – A typing game that turns GitHub repos into challenges

9 months ago

2 points

308.

Show HN: StripeMeter – pre-invoice parity for Stripe usage billing

github.com/geminimir

9 months ago

2 points

309.

Show HN: StripeMeter – pre-invoice parity for Stripe usage billing

github.com/geminimir

9 months ago

2 points

310.

Show HN: I made web agents reliable with smaller LLMs via natural language

github.com/nottelabs

a year ago

2 points

311.

Show HN: Bulletproof sessions – secure, cookieless session handling

github.com/tudorconstantin

a year ago

tudorconstantin

2 points

312.

Seeking Adoption: dotnet time-travel debugging for distributed systems

2 years ago

2 points

313.

Show HN: Htmx Offline Mode

github.com/spirodonfl

2 years ago

2 points

314.

Show HN: Korveo – a local firewall for AI agents

github.com/zistica

a month ago

1 points

315.

Show HN: Getgud.io – Server-Side cheater and griefer detection in Real-Time

2 years ago

1 points

316.

Show HN: One provider starts lying at request 50. The quorum catches it

github.com/sbw70

4 months ago

1 points

317.

Show HN: DRD – Git for distributed consensus failures"

a month ago

1 points

318.

Show HN: Vilano Runtime – a durable runtime for building agent systems

runtime.vilano.ai

3 months ago

1 points

319.

Show HN: DashClaw – Intercept AI agent actions before they execute

3 months ago

1 points

320.

Show HN: Real Browser MCP – your AI agent can see your real browser

4 months ago

1 points

321.

Show HN: OpenCovibe – a local-first desktop UI for Claude Code

github.com/AnyiWang

4 months ago

1 points

322.

Show HN: Salacia – The First Runtime OS for Agentic Coding

4 months ago

1 points

323.

Show HN: GhostTrace – See rejected decisions in AI agents

github.com/AhmedAllam0

4 months ago

1 points

324.

Show HN: VisiGrid CLI – Git-diff for financial reconciliation

5 months ago

1 points

325.

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

github.com/blockrand-api

5 months ago

rishi_blockrand

1 points

326.

Show HN: VOR – A verified runtime with 0% hallucination via observations

5 months ago

1 points

327.

Show HN: FoldMation – An Interactive Origami Learning and Creation Application

2 years ago

1 points

328.

Show HN: ÆTHERYA Core – deterministic action-governance kernel for LLM agents

github.com/nayfly

3 months ago

1 points

329.

Show HN: Draw a sketch and watch it back again with persistent WebStreams

inkdot.instantdb.dev

3 months ago

1 points

330.

Show HN: OpenJet – An offline agent harness for memory-constrained edge hardware

github.com/L-Forster

3 months ago

1 points