Search: github.com/vcr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Show HN: An improved version of HyperLogLog (github.com/axiomhq)

194 points

9 years ago

962.

Show HN: Scraperjs – A versatile web scraper (github.com/ruipgil)

192 points

12 years ago

963.

Arduino-Org: “Rename this fork and use less confusing versioning” (github.com/arduino-org)

186 points

abstractbeliefs

11 years ago

964.

LMDB: The first version of Redis, written in Tcl (2009) (gist.github.com)

186 points

3 years ago

965.

Lightweight versions of websites without all the bloat (github.com/mdibaiee)

184 points

7 years ago

966.

Oxen.ai: Fast Unstructured Data Version Control (github.com/Oxen-AI)

177 points

3 years ago

967.

Verilog to Minecraft Redstone Synthesizer (github.com/itsFrank)

174 points

6 years ago

968.

Gource: Software Version Control Visualization (github.com/acaudwell)

173 points

a year ago

969.

Show HN: Very basic blockchain-free cryptocurrency PoC in Python (github.com/DutchGraa)

171 points

9 years ago

970.

Show HN: A 166 KB file for cross compiling glibc for any version, any target (github.com/ziglang)

171 points

4 years ago

971.

A Linux version of the Procmon Sysinternals tool (github.com/microsoft)

166 points

9 months ago

972.

Dafny – A programming language with a program verifier (github.com/Microsoft)

165 points

9 years ago

973.

PicoC: A very small C interpreter (github.com/zsaleeba)

164 points

11 years ago

974.

Cicada – Open-source cross-platform version of GitHub Actions and Gitlab CI (github.com/Cicada-Software)

162 points

3 years ago

975.

Show HN: DoltgreSQL – Version-Controlled DB, Like Git and PostgreSQL had a baby (github.com/dolthub)

162 points

3 years ago

976.

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

161 points

2 months ago

977.

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

159 points

a year ago

978.

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

158 points

afroisalreadyin

4 years ago

979.

Iosevka, Version 3.0.0 (github.com/be5invis)

158 points

6 years ago

980.

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

153 points

MichaelMoser123

5 years ago

981.

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

151 points

10 years ago

982.

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

150 points

13 years ago

983.

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

150 points

2 months ago

984.

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

149 points

9 years ago

985.

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

147 points

10 years ago

986.

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

145 points

9 years ago

987.

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

141 points

14 years ago

988.

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

141 points

4 months ago

989.

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

138 points

2 years ago

990.

Grace Version Control System (github.com/ScottArbeit)

137 points

2 years ago