Search: github.com/axios | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Sirix - a versioned, treebased storage system in Java (free software) (github.com/JohannesLichtenberger)

2 points

14 years ago

182.

Show HN: I wrote a toy proof assistent (github.com/chrisd1977)

2 points

2 years ago

183.

Show HN: A High-Performance CRC Hardware Generator in Bluespec SystemVerilog (github.com/datenlord)

2 points

3 years ago

184.

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

2 points

4 years ago

185.

DuckEngine – A 2D Game Engine for the web

2 points

5 years ago

186.

Artemis – Laser Object Tracking

2 points

7 years ago

187.

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

2 points

8 years ago

188.

Show HN: Mirroir – MCP server that gives AI agents a real iPhone to control (mirroir.dev)

1 point

4 months ago

189.

Show HN: An autopoietic agent forge for emergent, consensus-based AI ecosystems (github.com/jzkool)

1 point

hiddenarchitect

4 months ago

190.

Show HN: PolyAgora – A natural-language multi-agent OS built with GPT-5.1 (github.com/Takeshi-Sakamoto5)

1 point

7 months ago

191.

Show HN: Prosur: Logs all 3D printer activity in a DB, view it all in a browser (github.com/EDG5000)

1 point

4 years ago

192.

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

1 point

7 years ago

193.

Show HN: I built a dependency graph for the tree of human science (github.com/slepybear)

1 point

3 months ago

194.

Show HN: Cursor Agent Factory – 5-layer architecture for AI agent systems (github.com/gitwalter)

1 point

4 months ago

195.

Show HN: 32KB deductive engine that catches LLM hallucinations

1 point

4 months ago

196.

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

1 point

4 months ago

197.

Show HN: I Made a Visualization of MoMA Artists of 20 Century (gnykka.io)

1 point

3 years ago

198.

Marriage of ffmpeg and terminal TUIs, notcurses 1.1.0

1 point

6 years ago

199.

A Unified Theory of Layout?

1 point

9 years ago

200.

GitHub – nushell/nushell: A new type of shell (github.com/nushell)

763 points

5 years ago

201.

The Art of Command Line (2015) (github.com/jlevy)

597 points

7 years ago

202.

Youtube-dl: Command-line program to download videos (github.com/rg3)

581 points

8 years ago

203.

Docker-OSX: Run macOS VM in a Docker (github.com/sickcodes)

458 points

3 years ago

204.

Pi-hole: Network-wide ad blocking (github.com/pi-hole)

438 points

3 years ago

205.

A pure JavaScript implementation of Git for Node and browsers (github.com/isomorphic-git)

381 points

8 years ago

206.

Learning operating system development using Linux kernel and Raspberry Pi (github.com/s-matyukevich)

368 points

8 years ago

207.

Fermented Chili “Open Sauce” – My most starred repo has no code in it (github.com/aweijnitz)

367 points

4 years ago

208.

Libui: a portable GUI library for C (github.com/andlabs)

356 points

8 years ago

209.

Wireguard-docs: Setup, usage, configuration, and a full example (github.com/pirate)

323 points

7 years ago

210.

OSSU: Path to a free, self-taught education in computer science (github.com/ossu)

322 points

5 years ago