Search: github.com/vsr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Microsoft BASIC for 6502 Microprocessor – Version 1.1

github.com/microsoft

10 months ago

290 points

932.

AMD: Microcode Signature Verification Vulnerability

github.com/google

a year ago

287 points

933.

Rosenpass – formally verified post-quantum WireGuard

github.com/rosenpass

3 years ago

285 points

934.

Distil-Whisper: distilled version of Whisper that is 6 times faster, 49% smaller

github.com/huggingface

3 years ago

277 points

935.

Show HN: A toy version of Wireshark (student project)

github.com/lixiasky

a year ago

265 points

936.

Pyenv – lets you easily switch between multiple versions of Python

github.com/pyenv

2 years ago

259 points

937.

Devpush – Open-source and self-hostable alternative to Vercel, Render, Netlify

github.com/hunvreus

9 months ago

259 points

938.

Prince of Persia open-source port based on the DOS version disassembly

github.com/NagyD

5 years ago

247 points

939.

Launch HN: Hatchet (YC W24) – Open-source task queue, now with a cloud version

2 years ago

245 points

940.

Leiningen version 2.0.0 released

13 years ago

242 points

941.

Lion: A formally verified, 5-stage pipeline RISC-V core

github.com/standardsemiconductor

5 years ago

241 points

942.

Loki: An open-source tool for fact verification

github.com/Libr-AI

2 years ago

238 points

943.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]

github.com/deepseek-ai

7 months ago

231 points

944.

Dat – Distributed Dataset Synchronization and Versioning

github.com/datproject

9 years ago

229 points

945.

I Made an Extended Version of Vimtutor – Introducing Vimtutor Sequel

github.com/micahkepe

2 years ago

229 points

946.

CompCert – Formally-verified C compiler

github.com/AbsInt

5 years ago

227 points

947.

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

4 months ago

225 points

948.

Show HN: Version Control for Databases

github.com/infostreams

7 years ago

224 points

949.

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

github.com/rapidpages

3 years ago

216 points

950.

Verified Spec-Driven Development (VSDD)

gist.github.com

4 months ago

211 points

951.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

952.

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

github.com/qri-io

7 years ago

204 points

953.

Show HN: An improved version of HyperLogLog

github.com/axiomhq

9 years ago

194 points

954.

Show HN: Scraperjs – A versatile web scraper

github.com/ruipgil

12 years ago

192 points

955.

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

github.com/arduino-org

11 years ago

abstractbeliefs

186 points

956.

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

gist.github.com

3 years ago

186 points

957.

Lightweight versions of websites without all the bloat

github.com/mdibaiee

7 years ago

184 points

958.

Oxen.ai: Fast Unstructured Data Version Control

github.com/Oxen-AI

3 years ago

177 points

959.

Verilog to Minecraft Redstone Synthesizer

github.com/itsFrank

6 years ago

174 points

960.

Gource: Software Version Control Visualization

github.com/acaudwell

a year ago

173 points