Search: github.com/coq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: AuthWin – Authenticator App for Windows

2 years ago

3 points

392.

Can Local Contribution-Based Currencies Replace Crypto?

a year ago

3 points

393.

Ask HN: What is your recommended speech to text/audio transcription tool?

3 years ago

3 points

394.

From GitHub to Codeberg: Architecture Decision Record

9 months ago

3 points

395.

GitHub now appears to require logins to access Gists

8 years ago

crankylinuxuser

3 points

396.

Show HN: File‑based sub‑agents for Codex CLI (tiny MCP server)

github.com/leonardsellem

10 months ago

3 points

397.

Show HN: Ansible TUI – a zero-dependency terminal UI for running playbooks

github.com/congzhangzh

4 months ago

3 points

398.

Claude Code/Cursor is using grep? Are we devolving

a year ago

3 points

399.

Show HN: Color Skeme - Gives you a color scheme based on a picture

8 years ago

3 points

400.

Show HN: Building a CQRS/ES web application in Elixir using Phoenix

9 years ago

3 points

401.

Show HN:Turn any GitHub .MD into a collaborative editor by replace "g" with tune

get-colibri.com

4 months ago

3 points

402.

Show HN: Codex Self-Reflect Skill and CLI to run subagents on past Codex convos

github.com/olliepro

5 months ago

3 points

403.

Ask HN: Can you take your AI's memory with you?

a year ago

3 points

404.

Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source

a year ago

3 points

405.

Show HN: Noodle Spark – Turn ideas into working apps using natural language

a year ago

3 points

406.

Show HN: Self-serve GitHub Skyline (because the actual one stopped working)

github.com/avikalpg

3 years ago

3 points

407.

Show HN: The Rouge is my attempt at an AI product factory

github.com/gregario

2 months ago

3 points

408.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning)

github.com/Concode0

3 months ago

3 points

409.

Show HN:Conduit–Headless browser with SHA-256 hash chain - Ed25519 audit trails

3 months ago

3 points

410.

Show HN: Colnade – Type-Safe DataFrames for Python

github.com/jwde

4 months ago

3 points

411.

Show HN: Axon – Let coding agents develop their own framework on Kubernetes

github.com/axon-core

4 months ago

3 points

412.

Show HN: Codesprint – A LeetCode Typing Trainer

github.com/cwklurks

7 months ago

3 points

413.

Scam targeting hopeful Y Combinator applicants

9 months ago

3 points

414.

Show HN: StartupWeekend pitch - open source music player and radio

14 years ago

3 points

415.

Show HN: Collider – the platform for local LLM debug and inference at warp speed

github.com/gotzmann

3 years ago

3 points

416.

Show HN: I made an HDR ICC profile for JPG and PNG images

3 years ago

3 points

417.

Show HN: Cobalt – social media downloader with no bullshit

4 years ago

3 points

418.

CodeGenX, a code generation system powered by GPT-J

5 years ago

3 points

419.

AdonisJS – A fully featured web framework for Node.js

5 years ago

3 points

420.

Ask HN: Examples of open source education paths

5 years ago

3 points