Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Show HN: A self-hosted social network where your Ethereum address is your ID

github.com/epressworld

9 months ago

8 points

932.

Show HN: Duende: Web UX for guiding Gemini as it improves your source code

github.com/alefore

a year ago

8 points

933.

Show HN: Build a fully-fledged crypto insurance in 4h – 300K USD DSLA Hackathon

5 years ago

8 points

934.

Show HN: Agent-browser-shield – free extension to protect AI agents on the web

github.com/pixiebrix

22 days ago

7 points

935.

Show HN: Hyprvoice – Voice-Powered Typing for Wayland/Hyprland (No X11 Hacks)

github.com/LeonardoTrapani

8 months ago

7 points

936.

Tell HN:GitHub can remove issues at any time

a year ago

7 points

937.

Show HN: Claude skill to do your taxes

github.com/robbalian

4 months ago

7 points

938.

Tell HN: Mattermost "upgrade" to v11 enforces 10k UI message limit

5 months ago

7 points

939.

Ask HN: Building a Non-AI tool feels surprisingly refreshing for me

a year ago

7 points

940.

Show HN: Ordinary Puzzles, a free puzzle game inspired by Picross and Sudoku

ordinarypuzzles.com

4 years ago

7 points

941.

So I am creating a chat server

5 years ago

7 points

942.

Show HN: Lich, start a dev stack per coding agent in parallel

github.com/RPate97

20 days ago

7 points

943.

Show HN: Linear RNN/Reservoir hybrid generative model, one C file (no deps.)

raw.githubusercontent.com

3 months ago

7 points

944.

Show HN: MCPSpec – Ship reliable MCP servers without writing test code

light-handle.github.io

4 months ago

7 points

945.

Ask HN: What terminal recording tools lets you edit/run recordings?

2 years ago

7 points

946.

Show HN: Prompt Engineering Chess

github.com/zswitten

3 years ago

7 points

947.

Show HN: pyretry - separate retry logic from business logic

github.com/bobbyrenwick

13 years ago

7 points

948.

Show HN: Write Your GitHub Actions in TypeScript

github.com/dedalus-labs

9 days ago

7 points

949.

Show HN: WaveletLM – wavelet-based, attention-free model with O(n log n) scaling

github.com/ramongougis

2 months ago

7 points

950.

Show HN: CLI-use – turn any MCP server into a CLI in one command

2 months ago

7 points

951.

Show HN: I got tired of print(x.shape) so I built runtime type hints for Python

github.com/yiheinchai

3 months ago

7 points

952.

Show HN: Superglue – OSS integration tool that understands your legacy systems

7 months ago

7 points

953.

Show HN: Daffodil – Open-Source Ecommerce Front End, Now with Shopify

9 months ago

7 points

954.

Show HN: GitHub Bot to Detect Duplicate Issues with OpenAI and Supabase

github.com/guillermoscript

2 years ago

guillermoscript

7 points

955.

Show HN: Meatshields – Write your own strategy game AI

9 years ago

Baron_Von_Meats

7 points

956.

Show HN: Claumon – forecasting Claude Code usage limits with a Gamma process

github.com/fabioconcina

14 days ago

7 points

957.

Show HN: Dux, distributed DuckDB-backed dataframes on the Beam

github.com/elixir-dux

3 months ago

7 points

958.

Show HN: We beat Google DeepMind but got killed by Zhipu AI

github.com/minitap-ai

10 months ago

7 points

959.

Show HN: Anything AI – A local Zapier (like) AI tool written in Rust

github.com/tryanything-ai

2 years ago

7 points

960.

Show HN: Pgserver – Pip Installable Postrgres+pgvector

github.com/orm011

2 years ago

7 points