Search: github.com/axios | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: Dracula-AI – A lightweight, async SQLite-backed Gemini wrapper

github.com/suleymanibis0

4 months ago

2 points

182.

Show HN: Guido Scale – maturity model for SDD migration

github.com/GuiMiran

4 months ago

2 points

183.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points

184.

Sirix - a versioned, treebased storage system in Java (free software)

github.com/JohannesLichtenberger

14 years ago

2 points

185.

Show HN: I wrote a toy proof assistent

github.com/chrisd1977

2 years ago

2 points

186.

Show HN: A High-Performance CRC Hardware Generator in Bluespec SystemVerilog

github.com/datenlord

3 years ago

2 points

187.

Show HN: Brackit – a retargetable JSONiq based query engine for JSON

4 years ago

2 points

188.

DuckEngine – A 2D Game Engine for the web

5 years ago

2 points

189.

Artemis – Laser Object Tracking

7 years ago

2 points

190.

Ask HN: Which language with an APL-style interface is *best*?

8 years ago

2 points

191.

Show HN: Mirroir – MCP server that gives AI agents a real iPhone to control

4 months ago

1 points

192.

Show HN: An autopoietic agent forge for emergent, consensus-based AI ecosystems

github.com/jzkool

5 months ago

hiddenarchitect

1 points

193.

Show HN: PolyAgora – A natural-language multi-agent OS built with GPT-5.1

github.com/Takeshi-Sakamoto5

7 months ago

1 points

194.

Show HN: Prosur: Logs all 3D printer activity in a DB, view it all in a browser

github.com/EDG5000

4 years ago

1 points

195.

Ask HN: Which learning style is better? Mastery Learning or Spiral approach?

7 years ago

1 points

196.

Show HN: I built a dependency graph for the tree of human science

github.com/slepybear

4 months ago

1 points

197.

Show HN: Cursor Agent Factory – 5-layer architecture for AI agent systems

github.com/gitwalter

5 months ago

1 points

198.

Show HN: 32KB deductive engine that catches LLM hallucinations

5 months ago

1 points

199.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

5 months ago

1 points

200.

Show HN: I Made a Visualization of MoMA Artists of 20 Century

3 years ago

1 points

201.

Marriage of ffmpeg and terminal TUIs, notcurses 1.1.0

6 years ago

1 points

202.

A Unified Theory of Layout?

9 years ago

1 points

203.

GitHub – nushell/nushell: A new type of shell

github.com/nushell

5 years ago

763 points

204.

The Art of Command Line (2015)

github.com/jlevy

7 years ago

597 points

205.

Youtube-dl: Command-line program to download videos

8 years ago

581 points

206.

Docker-OSX: Run macOS VM in a Docker

github.com/sickcodes

3 years ago

458 points

207.

Pi-hole: Network-wide ad blocking

github.com/pi-hole

3 years ago

438 points

208.

A pure JavaScript implementation of Git for Node and browsers

github.com/isomorphic-git

8 years ago

381 points

209.

Learning operating system development using Linux kernel and Raspberry Pi

github.com/s-matyukevich

8 years ago

368 points

210.

Fermented Chili “Open Sauce” – My most starred repo has no code in it

github.com/aweijnitz

4 years ago

367 points