Search: github.com/vsr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

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

247 points

5 years ago

932.

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

245 points

2 years ago

933.

Leiningen version 2.0.0 released (github.com)

242 points

13 years ago

934.

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

241 points

5 years ago

935.

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

238 points

2 years ago

936.

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

231 points

6 months ago

937.

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

229 points

9 years ago

938.

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

229 points

2 years ago

939.

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

227 points

5 years ago

940.

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

225 points

3 months ago

941.

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

224 points

6 years ago

942.

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

216 points

3 years ago

943.

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

211 points

3 months ago

944.

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

204 points

4 years ago

945.

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

204 points

7 years ago

946.

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

194 points

9 years ago

947.

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

192 points

12 years ago

948.

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

186 points

abstractbeliefs

11 years ago

949.

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

186 points

3 years ago

950.

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

184 points

7 years ago

951.

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

177 points

3 years ago

952.

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

174 points

6 years ago

953.

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

173 points

a year ago

954.

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

171 points

9 years ago

955.

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

171 points

4 years ago

956.

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

166 points

9 months ago

957.

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

165 points

9 years ago

958.

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

164 points

11 years ago

959.

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

162 points

3 years ago

960.

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

162 points

3 years ago