Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Show HN: npm-daycare, an NPM proxy that filters out recent & small packages (github.com/stack-auth)

6 points

9 months ago

962.

Show HN: We create visual codebase maps that scale (static analysis and LLMs) (github.com/CodeBoarding)

6 points

10 months ago

963.

Show HN: Subtle Failure Modes I Keep Seeing in Production‑Grade AI Systems (github.com/onestardao)

6 points

10 months ago

964.

Show HN: Insta2000 – Re-render Instagram locally, retro, and ad free (github.com/benrules2)

6 points

2 years ago

965.

Show HN: I'm writing an ebook version of The Tao of tmux

6 points

10 years ago

966.

Show HN: Recursive-Mode for Coding Agents (recursive-mode.dev)

6 points

2 months ago

967.

Show HN: Voice-tracked teleprompter using on-device ASR in the browser (github.com/larsbaunwall)

6 points

3 months ago

968.

Show HN: Letting Claude automate fleets of browser sandboxes (twitter.com)

6 points

3 months ago

969.

Show HN: A smart coffee scale that can order coffee on its own (github.com/Rukenshia)

6 points

a year ago

970.

Show HN: See what your Python app sends and receives over HTTP (httpdbg.readthedocs.io)

6 points

a year ago

971.

Show HN: I made a daily routines app, but it requires photos to complete (folksable.com)

6 points

2 years ago

972.

Show HN: Skip – Build native iOS and Android apps from a single Swift codebase (skip.tools)

6 points

2 years ago

973.

Show HN: LLM Tree Navigation Benchmark (github.com/aiwebb)

6 points

2 years ago

974.

Show HN: Sup – one liners to distribute binaries (github.com/shikaan)

6 points

3 years ago

975.

Show HN: macOS Apps on Linux: SwiftUI for Linux (and AppKit, NSFoundation, etc.) (github.com/Lore-Hex)

6 points

20 hours ago

976.

Show HN: Tracecast – open-source generative data apps built on top of Marimo (github.com/tracecast)

6 points

22 days ago

977.

Show HN: I've implemented multi-repo workspace support in Agent of Empires (github.com/njbrake)

6 points

a month ago

978.

Show HN: PrivateClaw – AI agents running in confidential VMs you can verify (privateclaw.dev)

6 points

2 months ago

979.

Show HN: MoonshineFlow (github.com/JRMeyer)

6 points

2 months ago

980.

Show HN: mcp-recorder – VCR.py for MCP servers. Record, replay, verify (github.com/devhelmhq)

6 points

3 months ago

981.

Show HN: VeilStream – Per-Branch Preview Environments (veilstream.com)

6 points

4 months ago

982.

Show HN: Flakestorm – Chaos engineering for AI agents (local-first, open source)

6 points

5 months ago

983.

Show HN: Valid8r, Functional validation for Python CLIs using Maybe monads (github.com/mikelane)

6 points

7 months ago

984.

Show HN: Weblook – a headless webapp screenshot tool written in Rust (github.com/TrippingKelsea)

6 points

a year ago

985.

Show HN: ClipboardShield – A Clipboard Firewall for Windows (FOSS) (github.com/CoinFabrik)

6 points

a year ago

986.

Show HN: Open-Sourcing My LLM Drag and Drop Website Builder (github.com/EarlywormTeam)

6 points

a year ago

987.

Show HN: Creating Skew-T Log-P diagrams from the Rapid Refresh (RAP) model (github.com/GribStream)

6 points

a year ago

988.

Show HN: Operaton, a community fork of Camunda 7 (github.com/operaton)

6 points

a year ago

989.

Show HN: Authduck – Playground Server for OpenID Connect Clients (github.com/azophy)

6 points

2 years ago

990.

Show HN: Fastest Prefix Search and Regex search in Lex Order (github.com/absolutelightning)

6 points

2 years ago