Search: github.com/vcr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

I Made an Extended Version of Vimtutor – Introducing Vimtutor Sequel

github.com/micahkepe

2 years ago

229 points

962.

CompCert – Formally-verified C compiler

github.com/AbsInt

5 years ago

227 points

963.

Open source calculator firmware DB48X forbids CA/CO use due to age verification

4 months ago

225 points

964.

Show HN: Version Control for Databases

github.com/infostreams

7 years ago

224 points

965.

Show HN: Rapidpages – OSS alternative to vercel's v0

github.com/rapidpages

3 years ago

216 points

966.

Verified Spec-Driven Development (VSDD)

gist.github.com

4 months ago

211 points

967.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

968.

Qri: A global dataset version control system built on the distributed web

github.com/qri-io

7 years ago

204 points

969.

Show HN: An improved version of HyperLogLog

github.com/axiomhq

9 years ago

194 points

970.

Show HN: Scraperjs – A versatile web scraper

github.com/ruipgil

12 years ago

192 points

971.

Arduino-Org: “Rename this fork and use less confusing versioning”

github.com/arduino-org

11 years ago

abstractbeliefs

186 points

972.

LMDB: The first version of Redis, written in Tcl (2009)

gist.github.com

3 years ago

186 points

973.

Lightweight versions of websites without all the bloat

github.com/mdibaiee

7 years ago

184 points

974.

Oxen.ai: Fast Unstructured Data Version Control

github.com/Oxen-AI

3 years ago

177 points

975.

Verilog to Minecraft Redstone Synthesizer

github.com/itsFrank

6 years ago

174 points

976.

Gource: Software Version Control Visualization

github.com/acaudwell

a year ago

173 points

977.

Show HN: Very basic blockchain-free cryptocurrency PoC in Python

github.com/DutchGraa

9 years ago

171 points

978.

Show HN: A 166 KB file for cross compiling glibc for any version, any target

github.com/ziglang

5 years ago

171 points

979.

A Linux version of the Procmon Sysinternals tool

github.com/microsoft

10 months ago

166 points

980.

Dafny – A programming language with a program verifier

github.com/Microsoft

9 years ago

165 points

981.

PicoC: A very small C interpreter

github.com/zsaleeba

11 years ago

164 points

982.

Cicada – Open-source cross-platform version of GitHub Actions and Gitlab CI

github.com/Cicada-Software

3 years ago

162 points

983.

Show HN: DoltgreSQL – Version-Controlled DB, Like Git and PostgreSQL had a baby

github.com/dolthub

3 years ago

162 points

984.

Show HN: ProofShot – Give AI coding agents eyes to verify the UI they build

github.com/AmElmo

3 months ago

161 points

985.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

986.

Show HN: Miniboss, versatile local container management with Python

github.com/afroisalreadyinu

4 years ago

afroisalreadyin

158 points

987.

Iosevka, Version 3.0.0

github.com/be5invis

6 years ago

158 points

988.

SproutLife – Evolving version of Conway’s Game of Life

github.com/ShprAlex

5 years ago

MichaelMoser123

153 points

989.

FastNetMon – very fast DDoS analyzer

github.com/pavel-odintsov

10 years ago

151 points

990.

Show HN: Very basic Unix-like operating system built when I was younger

github.com/SamyPesse

13 years ago

150 points