Search: github.com/vsr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

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

github.com/DutchGraa

9 years ago

171 points

962.

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

github.com/ziglang

5 years ago

171 points

963.

A Linux version of the Procmon Sysinternals tool

github.com/microsoft

10 months ago

166 points

964.

Dafny – A programming language with a program verifier

github.com/Microsoft

9 years ago

165 points

965.

PicoC: A very small C interpreter

github.com/zsaleeba

11 years ago

164 points

966.

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

github.com/Cicada-Software

3 years ago

162 points

967.

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

github.com/dolthub

3 years ago

162 points

968.

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

github.com/AmElmo

3 months ago

161 points

969.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

970.

Show HN: Miniboss, versatile local container management with Python

github.com/afroisalreadyinu

4 years ago

afroisalreadyin

158 points

971.

Iosevka, Version 3.0.0

github.com/be5invis

6 years ago

158 points

972.

SproutLife – Evolving version of Conway’s Game of Life

github.com/ShprAlex

5 years ago

MichaelMoser123

153 points

973.

FastNetMon – very fast DDoS analyzer

github.com/pavel-odintsov

10 years ago

151 points

974.

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

github.com/SamyPesse

13 years ago

150 points

975.

A WebGPU implementation of Augmented Vertex Block Descent

github.com/jure

3 months ago

150 points

976.

LMDB – First version of Redis written in Tcl

gist.github.com

9 years ago

149 points

977.

Show HN: Phone verification at no cost

github.com/natsu90

10 years ago

147 points

978.

Tiny Social Icons – Miniscule SVG versions of social app logos

github.com/edent

9 years ago

145 points

979.

A large, bloated JS framework with an unintuitive syntax and very few features

github.com/facebook

14 years ago

141 points

980.

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

github.com/Momciloo

5 months ago

141 points

981.

Orgzly Revived: a community-maintained version of Orgzly

github.com/orgzly-revived

2 years ago

138 points

982.

Grace Version Control System

github.com/ScottArbeit

2 years ago

137 points

983.

Show HN: Unfucked - version all changes (by any tool) - local-first/source avail

4 months ago

137 points

984.

Tank – A very high performance distributed log service

github.com/phaistos-networks

10 years ago

136 points

985.

Unofficial "Tier 4" Rust Target for older Windows versions

github.com/rust9x

7 months ago

135 points

986.

JSON for Modern C++ version 3.10.0

github.com/nlohmann

5 years ago

134 points

987.

Open-source alternative to Heroku, Vercel, and Netlify

github.com/Dokploy

2 years ago

133 points

988.

PDP-1 FPGA Implementation in Verilog, with CRT, Teletype and Console

github.com/hrvach

7 years ago

133 points

989.

Show HN: Add license key verification to your apps

github.com/furkansenharputlu

6 years ago

131 points

990.

Pokemonsay: Pokemon Version of Cowsay

github.com/dfrankland

7 years ago

127 points