Search: github.com/vsr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Show HN: ProofShot – Give AI coding agents eyes to verify the UI they build (github.com/AmElmo)

161 points

2 months ago

962.

Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)

159 points

a year ago

963.

Show HN: Miniboss, versatile local container management with Python (github.com/afroisalreadyinu)

158 points

afroisalreadyin

4 years ago

964.

Iosevka, Version 3.0.0 (github.com/be5invis)

158 points

6 years ago

965.

SproutLife – Evolving version of Conway’s Game of Life (github.com/ShprAlex)

153 points

MichaelMoser123

5 years ago

966.

FastNetMon – very fast DDoS analyzer (github.com/pavel-odintsov)

151 points

10 years ago

967.

Show HN: Very basic Unix-like operating system built when I was younger (github.com/SamyPesse)

150 points

13 years ago

968.

A WebGPU implementation of Augmented Vertex Block Descent (github.com/jure)

150 points

2 months ago

969.

LMDB – First version of Redis written in Tcl (gist.github.com)

149 points

9 years ago

970.

Show HN: Phone verification at no cost (github.com/natsu90)

147 points

10 years ago

971.

Tiny Social Icons – Miniscule SVG versions of social app logos (github.com/edent)

145 points

9 years ago

972.

A large, bloated JS framework with an unintuitive syntax and very few features (github.com/facebook)

141 points

14 years ago

973.

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version (github.com/Momciloo)

141 points

4 months ago

974.

Orgzly Revived: a community-maintained version of Orgzly (github.com/orgzly-revived)

138 points

2 years ago

975.

Grace Version Control System (github.com/ScottArbeit)

137 points

2 years ago

976.

Show HN: Unfucked - version all changes (by any tool) - local-first/source avail (unfudged.io)

137 points

3 months ago

977.

Tank – A very high performance distributed log service (github.com/phaistos-networks)

136 points

10 years ago

978.

Unofficial "Tier 4" Rust Target for older Windows versions (github.com/rust9x)

135 points

7 months ago

979.

JSON for Modern C++ version 3.10.0 (github.com/nlohmann)

134 points

5 years ago

980.

Open-source alternative to Heroku, Vercel, and Netlify (github.com/Dokploy)

133 points

2 years ago

981.

PDP-1 FPGA Implementation in Verilog, with CRT, Teletype and Console (github.com/hrvach)

133 points

7 years ago

982.

Show HN: Add license key verification to your apps (github.com/furkansenharputlu)

131 points

6 years ago

983.

Pokemonsay: Pokemon Version of Cowsay (github.com/dfrankland)

127 points

7 years ago

984.

LVGL – Light and Versatile Graphics Library (github.com/lvgl)

120 points

5 years ago

985.

Show HN: A nibble-oriented CPU in Verilog to build a scientific calculator (github.com/gdevic)

119 points

24 days ago

986.

ZipCPU – A small, lightweight, RISC soft core in Verilog (github.com/ZipCPU)

118 points

7 years ago

987.

Attempting (Failed) Verification of the Wright Signature (github.com/patio11)

118 points

10 years ago

988.

Unleashed Recompiled: PC port of the Xbox 360 version of Sonic Unleashed (github.com/hedge-dev)

118 points

a year ago

989.

Store birth date in systemd for age verification (github.com/systemd)

116 points

3 months ago

990.

Fix the versioning (github.com/jashkenas)

115 points

12 years ago