Search: github.com/vcr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Make your terminal snow

14 years ago

5 points

482.

Show HN: VerifyWise, an open-source governance platform for AI compliance

a year ago

5 points

483.

Show HN: Self Sovereign Verification – don’t pay for verified

github.com/arxskycom

3 years ago

4 points

484.

Ask HN: What's the Deal with Lineageosroms.com?

4 years ago

3 points

485.

Show HN: Cursor Version Manager – Shell script to manage Cursor editor versions

github.com/ivstiv

a year ago

3 points

486.

Show HN: Open Vernacular AI Kit – preprocessing for Indian code-mixed text

github.com/SudhirGadhvi

4 months ago

2 points

487.

Show HN: Prima Veritas – Deterministic Analytics Engine for Reproducible ML

github.com/bryanziehl

7 months ago

1 points

488.

Runtime validation is still fucked in AI coding agents

4 months ago

1 points

489.

Show HN: "mk" – one-liner make rules on the command-line

2 years ago

1 points

490.

Email verification protocol

github.com/WICG

8 months ago

214 points

491.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

177 points

492.

What if Git worked with programming languages?

github.com/GavinMendelGleason

5 years ago

170 points

493.

Verus: Verified Rust for low-level systems code

github.com/secure-foundations

a year ago

158 points

494.

Vim-vertical: Get around 2-dimensionally in vim

github.com/rbong

10 years ago

102 points

495.

Hooks-Based WebGL Library for React

github.com/sghall

7 years ago

95 points

496.

(Re//Verse 2026) Taxonomy and Deobfuscation of a Real World Binary Obfuscator [pdf]

github.com/AnalogCyberNuke

13 days ago

27 points

497.

Show HN: Git, from scratch, in Python, Spelled out

github.com/yash-srivastava19

3 years ago

20 points

498.

Show HN: Naja-Verilog – Structural Verilog Parser

github.com/xtofalex

3 years ago

17 points

499.

Dotted Version Vectors: Logical Clocks for Eventually Consistent Systems

github.com/ricardobcl

11 years ago

16 points

500.

Show HN: Check if Number exists on WhatsApp

github.com/AbhishekBiswal

5 years ago

12 points

501.

Show HN: PHP Version Audit – Audit Your PHP Version for Known CVEs and Patches

github.com/lightswitch05

7 years ago

8 points

502.

We've Created SMS Number Verifier – Free Disposable SMS Numbers – Tor Supported

github.com/upmasked

6 years ago

7 points

503.

Show HN: I built an integration for RL training of browser agents for everyone

github.com/PrimeIntellect-ai

3 months ago

7 points

504.

Why does software have to be part of the left wing or right wing?

github.com/Floppy

9 months ago

6 points

505.

Show HN: Verge Client in Perl 6

github.com/brakmic

8 years ago

6 points

506.

Show HN: Verani – Socket.io-like realtime SDK for Cloudflare

github.com/v0id-user

6 months ago

6 points

507.

github.com/othermod

3 years ago

6 points

508.

Show HN: Email Verifier Written in Go

github.com/hsnice16

2 years ago

5 points

509.

Glibc Version Header Generator

github.com/wheybags

4 years ago

5 points

510.

Show HN: Pre-execution verification for LLM-generated agentic workflows

github.com/le0li0n

4 months ago

4 points