Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Show HN: SiteOS – Website platform with CRM, email, and analytics (app.fishpulse.com)

17 points

3 years ago

812.

Show HN: Notion-style editing meets infra-debugging tools (fiberplane.com)

17 points

4 years ago

813.

Claude Code dies with ANTHROPIC_API_KEY in cloud environment

16 points

a month ago

814.

Show HN: OpenMeters – A fast and free audio metering/visualization suite (github.com/httpsworldview)

16 points

3 months ago

815.

Show HN: A CLI that writes its own integration code (docs.superglue.cloud)

15 points

2 months ago

816.

BetterDB – open-source Redis/Valkey migration across clouds and self-hosted

15 points

2 months ago

817.

Ask HN: Programmers Who Want to Get Better at Math

15 points

2 years ago

818.

Show HN: Quickly Create Security Tests for All Your APIs (YC S21)

15 points

3 years ago

819.

Show HN: CS – indexless code search that understands code, comments and strings (github.com/boyter)

15 points

4 months ago

820.

Show HN: Leaping – Open-source debugging with LLMs

15 points

2 years ago

821.

Show HN: Protect Your CI/CD from SolarWinds-Type Attacks with This Agent (github.com/step-security)

15 points

3 years ago

822.

Ping.gg monitoring engine now open source (Go)

15 points

11 years ago

823.

Show HN: Mqtt Broker for 10 Years (github.com/skittleson)

15 points

7 days ago

824.

Show HN: Daf·thunk – open-source Editor for Prototyping Workflows on Cloudflare (dafthunk.com)

15 points

a year ago

825.

Show HN: JungleGym and TreeVoyager – OSS Data and Tool for Autonomous Web Agents (junglegym.ai)

15 points

3 years ago

826.

Show HN: Anysphere, home for important, long-form conversations (gist.github.com)

14 points

4 years ago

827.

Show HN: A password system with no database, no sync, and nothing to breach (bastion-enclave.vercel.app)

14 points

4 months ago

828.

Show HN: I made a free (open-source) extension, to use any LLM on Google sheet (aisheeter.com)

14 points

2 years ago

829.

Show HN: Paradict – Streamable multi-format serialization with schema (github.com/pyrustic)

14 points

2 years ago

830.

Show HN: ChatHN – Chat with Hacker News using natural language (chathn.vercel.app)

14 points

3 years ago

831.

Show HN: Constellation – An always encrypted Kubernetes engine (github.com/edgelesssys)

14 points

4 years ago

832.

Show HN: Retrace – reverse debugging for production CPython applications (github.com/retracesoftware)

14 points

a month ago

833.

Show HN: I trained a chess engine to play like humans

14 points

a month ago

834.

Show HN: SecretMemoryLocker – File Encryption Without Static Passwords (github.com/SecretML)

14 points

9 months ago

835.

Show HN: Enter your domain and my open-source agent will hack it (github.com/usestrix)

14 points

10 months ago

836.

Show HN: CargoWall – eBPF Firewall for GitHub Actions (github.com/code-cargo)

14 points

2 months ago

837.

Show HN: TheAuditor – Offline security scanner for AI-generated code (github.com/TheAuditorTool)

13 points

9 months ago

838.

Show HN: Personal Site, and the Static Site Generator I Wrote to Build It

13 points

7 years ago

839.

Show HN: I made a better zsh autosuggestion tool that predicts your next command (github.com/Giammarco-Ferranti)

13 points

2 days ago

840.

Ask HN: Yahoo Pipes Replacement?

13 points

11 years ago