Search: github.com/vcr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Show HN: Proven – An alternative to Twitter's verified accounts, with HN support (github.com/dschep)

334 points

8 years ago

932.

NotebookLlama: An open source version of NotebookLM (github.com/meta-llama)

322 points

2 years ago

933.

SingleFile version compatible with Manifest V3 (github.com/gildas-lormeau)

320 points

4 years ago

934.

Show HN: HTML5 version of StarCraft (github.com/gloomyson)

320 points

11 years ago

935.

Verilog sources for Western Digital's open source RISC-V core (github.com/westerndigitalcorporation)

320 points

7 years ago

936.

Tiny GPU: A minimal GPU implementation in Verilog (github.com/adam-maj)

315 points

2 years ago

937.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)

315 points

4 years ago

938.

Minimal downtime major PostgreSQL version upgrades with pg_easy_replicate (github.com/shayonj)

306 points

3 years ago

939.

Microsoft BASIC for 6502 Microprocessor – Version 1.1 (github.com/microsoft)

290 points

9 months ago

940.

AMD: Microcode Signature Verification Vulnerability (github.com/google)

287 points

a year ago

941.

Rosenpass – formally verified post-quantum WireGuard (github.com/rosenpass)

285 points

3 years ago

942.

Distil-Whisper: distilled version of Whisper that is 6 times faster, 49% smaller (github.com/huggingface)

277 points

3 years ago

943.

Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)

265 points

a year ago

944.

Pyenv – lets you easily switch between multiple versions of Python (github.com/pyenv)

259 points

2 years ago

945.

Devpush – Open-source and self-hostable alternative to Vercel, Render, Netlify (github.com/hunvreus)

259 points

8 months ago

946.

Prince of Persia open-source port based on the DOS version disassembly (github.com/NagyD)

247 points

5 years ago

947.

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

245 points

2 years ago

948.

Leiningen version 2.0.0 released (github.com)

242 points

13 years ago

949.

Lion: A formally verified, 5-stage pipeline RISC-V core (github.com/standardsemiconductor)

241 points

5 years ago

950.

Loki: An open-source tool for fact verification (github.com/Libr-AI)

238 points

2 years ago

951.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com/deepseek-ai)

231 points

6 months ago

952.

Dat – Distributed Dataset Synchronization and Versioning (github.com/datproject)

229 points

9 years ago

953.

I Made an Extended Version of Vimtutor – Introducing Vimtutor Sequel (github.com/micahkepe)

229 points

2 years ago

954.

CompCert – Formally-verified C compiler (github.com/AbsInt)

227 points

5 years ago

955.

Open source calculator firmware DB48X forbids CA/CO use due to age verification (github.com/c3d)

225 points

3 months ago

956.

Show HN: Version Control for Databases (github.com/infostreams)

224 points

6 years ago

957.

Show HN: Rapidpages – OSS alternative to vercel's v0 (github.com/rapidpages)

216 points

3 years ago

958.

Verified Spec-Driven Development (VSDD) (gist.github.com)

211 points

3 months ago

959.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

960.

Qri: A global dataset version control system built on the distributed web (github.com/qri-io)

204 points

7 years ago