Search: github.com/kfv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

Tree of Thoughts (github.com/kyegomez)

185 points

3 years ago

842.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette)

177 points

6 years ago

843.

MantaRay: Open-Source Ray Tracer (github.com/ange-yaghi)

165 points

4 years ago

844.

Show HN: A web-based matrix client: Cinny (github.com/ajbura)

163 points

5 years ago

845.

Ansible playbooks for installing OpenVPN, IPsec, Tor, etc. on popular clouds (github.com/jlund)

160 points

9 years ago

846.

Gallium – Build Desktop Applications in Go and HTML (github.com/alexflint)

146 points

10 years ago

847.

Trafilatura: Python tool to gather text on the Web (github.com/adbar)

134 points

3 years ago

848.

Show HN: Leaping – Debug Python tests instantly with an LLM debugger (github.com/leapingio)

120 points

2 years ago

849.

Show HN: ReGit – A Tiny Git-Compatible Git Implementation (github.com/WithGJR)

96 points

5 years ago

850.

Status of Sails.js (github.com/balderdashy)

93 points

10 years ago

851.

A hand-wired USB and Bluetooth keyboard powered by Python (github.com/makerdiary)

81 points

6 years ago

852.

Microsoft on GitHub (github.com/Microsoft)

73 points

12 years ago

853.

BooXtream EPub Watermark Remover (github.com/grayleonard)

68 points

10 years ago

854.

Notie.js: A JavaScript notification plugin without dependencies (github.com/jaredreich)

62 points

11 years ago

855.

A self-generating story that gets longer the more stars it gets (github.com/lizadaly)

42 points

4 years ago

856.

Introducing Geekier, an open source & saner approach to working with APIs (github.com/rulesio)

41 points

14 years ago

857.

Show HN: Replace “NFT” with “silly JPEG” while browsing (github.com/k-wong)

37 points

4 years ago

858.

PgAudit: Open-Source PostgreSQL Audit Logging (github.com/pgaudit)

32 points

3 years ago

859.

Running a 60fps web application using a RaspberryPi (github.com/zehfernandes)

27 points

11 years ago

860.

Golang k-d tree implementation with duplicate coordinate support (github.com/downflux)

26 points

5 years ago

861.

YouTube alternatives: P2P video hosting that uses up to 60% less bandwidth [pdf] (math.oregonstate.edu)

25 points

5 years ago

862.

Pure Go Implementation of the Opus Codec (github.com/pion)

25 points

3 years ago

863.

Get human-readable error messages for Postgres database errors (github.com/Shyp)

16 points

10 years ago

864.

A curated list of awesome lists of interview questions (github.com/MaximAbramchuck)

15 points

11 years ago

865.

Show HN: Serverless GraphQL (github.com/serverless)

14 points

10 years ago

866.

BentoML: A platform for serving and deploying machine learning models (github.com/bentoml)

10 points

7 years ago

867.

Node-red, a visual tool for wiring the Internet of Things (github.com/node-red)

9 points

12 years ago

868.

Show HN: Running local OpenClaw together with remote agents in an open network (github.com/hybroai)

8 points

2 months ago

869.

Rusty-JVM – JVM Implemented in Rust (github.com/hextriclosan)

8 points

6 months ago

870.

Show HN: Pitaya Go, IoT Dev Board with Multiprotocol Wireless Connectivity (github.com/makerdiary)

8 points

7 years ago