Search: github.com/vcr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: Open Vernacular AI Kit – preprocessing for Indian code-mixed text (github.com/SudhirGadhvi)

2 points

3 months ago

482.

Show HN: Prima Veritas – Deterministic Analytics Engine for Reproducible ML (github.com/bryanziehl)

1 point

6 months ago

483.

Runtime validation is still fucked in AI coding agents

1 point

4 months ago

484.

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

1 point

a year ago

485.

Use your Nvidia GPU's VRAM as swap space on Linux (github.com/c0dejedi)

468 points

4 days ago

486.

Email verification protocol (github.com/WICG)

214 points

7 months ago

487.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette)

177 points

6 years ago

488.

What if Git worked with programming languages? (github.com/GavinMendelGleason)

170 points

5 years ago

489.

Verus: Verified Rust for low-level systems code (github.com/secure-foundations)

158 points

a year ago

490.

Vim-vertical: Get around 2-dimensionally in vim (github.com/rbong)

102 points

10 years ago

491.

Hooks-Based WebGL Library for React (github.com/sghall)

95 points

7 years ago

492.

Show HN: Git, from scratch, in Python, Spelled out (github.com/yash-srivastava19)

20 points

2 years ago

493.

Show HN: Naja-Verilog – Structural Verilog Parser (github.com/xtofalex)

17 points

3 years ago

494.

Dotted Version Vectors: Logical Clocks for Eventually Consistent Systems (github.com/ricardobcl)

16 points

11 years ago

495.

Show HN: Check if Number exists on WhatsApp (github.com/AbhishekBiswal)

12 points

5 years ago

496.

Show HN: PHP Version Audit – Audit Your PHP Version for Known CVEs and Patches (github.com/lightswitch05)

8 points

6 years ago

497.

We've Created SMS Number Verifier – Free Disposable SMS Numbers – Tor Supported (github.com/upmasked)

7 points

6 years ago

498.

Show HN: I built an integration for RL training of browser agents for everyone (github.com/PrimeIntellect-ai)

7 points

2 months ago

499.

Why does software have to be part of the left wing or right wing? (github.com/Floppy)

6 points

8 months ago

500.

Show HN: Verge Client in Perl 6 (github.com/brakmic)

6 points

8 years ago

501.

Show HN: Verani – Socket.io-like realtime SDK for Cloudflare (github.com/v0id-user)

6 points

6 months ago

502.

The PSPi v6 (github.com/othermod)

6 points

3 years ago

503.

Show HN: Email Verifier Written in Go (github.com/hsnice16)

5 points

2 years ago

504.

Glibc Version Header Generator (github.com/wheybags)

5 points

4 years ago

505.

Show HN: Pre-execution verification for LLM-generated agentic workflows (github.com/le0li0n)

4 points

3 months ago

506.

Don't drink and fix issues at the same time (github.com/saintedlama)

4 points

12 years ago

507.

The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette)

4 points

6 years ago

508.

A very brief intro to rust (github.com/ashleygwilliams)

4 points

9 years ago

509.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)

3 points

5 months ago

510.

Vertigo – an old 3D flight simulator for modern Linux (github.com/ricardo-ayres)

3 points

5 years ago