Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: Seamless Auth – open-source passwordless authentication

github.com/fells-code

4 months ago

3 points

422.

Show HN: Minish – A small property-based testing framework for Zig

6 months ago

3 points

423.

Show HN: Git-Scope – A Fast TUI Dashboard for Managing Multiple Git Repos

bharath-code.github.io

6 months ago

3 points

424.

Show HN: Construct – API-first coding assistant with CodeAct tool calling

github.com/Furisto

6 months ago

3 points

425.

Show HN: Creating Multi-Page Manga with Google's Nano Banana Pro

github.com/Yutarop

7 months ago

3 points

426.

Show HN: Jv – A fast CLI tool to switch Java versions on Windows

github.com/CostaBrosky

8 months ago

3 points

427.

Show HN: Common FP – A New JavaScript Utility Lib

9 months ago

3 points

428.

Show HN: Help me evolve a new type of AI, so it can learn English

a year ago

shallowNuralNet

3 points

429.

Show HN: A P2P Contribution-Based Protocol for Civic Trust

github.com/contribution-protocol

a year ago

3 points

430.

Show HN: Cognition-wheel – parallel LLM fusion with bias masking and judging

github.com/Hormold

a year ago

3 points

431.

Show HN: DeepTeam – Penetration Testing for LLMs

github.com/confident-ai

a year ago

3 points

432.

Show HN: I built my own cloud-based collaborative code editor

github.com/mrktsm

a year ago

3 points

433.

Show HN: We made an open-source alternative to Drata and Vanta

a year ago

3 points

434.

Keeping multimodal parsing free for all

a year ago

3 points

435.

Show HN: Wush.dev – easy P2P file transfer and shells between browser and CLI

2 years ago

3 points

436.

Show HN: Open-Source Alternative to Jam.dev

2 years ago

3 points

437.

Show HN: A teeny tiny LED traffic signal

3 years ago

3 points

438.

Courseware as Code for Everyone

3 years ago

3 points

439.

Dropped Docker Desktop for Colima and loving it

4 years ago

3 points

440.

Ask HN: How do I do development with a remote windows target?

6 years ago

3 points

441.

Show HN: Compiler for Cool Using LLVM

6 years ago

3 points

442.

Ask HN: Who is compiling a detailed open dataset on the pandemic?

6 years ago

3 points

443.

Ask HN: GitHub Community Advisors – Is GitHub Outsourcing Support?

6 years ago

3 points

444.

GitHub Codespaces

github.com/features

6 years ago

1769 points

445.

Github1s – One second to read GitHub code with VS Code

github.com/conwnet

5 years ago

1692 points

446.

Cognitive load is what matters

github.com/zakirullin

10 months ago

1582 points

447.

macOS Container Machines

github.com/apple

14 days ago

1268 points

448.

Just Wanted to Say Thanks

github.com/compumike

5 years ago

1244 points

449.

Copyparty – Turn almost any device into a file server

github.com/9001

a year ago

1096 points

450.

RethinkDB Postmortem

github.com/coffeemug

9 years ago

948 points