Search: github.com/vsr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Capistrano bot to post release cards to Trello (github.com/Vertalab)

1 point

10 years ago

452.

JavaScript Regular expressions made easy (github.com/VerbalExpressions)

1 point

10 years ago

453.

Python common language regular expression syntax (github.com/VerbalExpressions)

1 point

10 years ago

454.

VerbalExpression – regular expressions with normal words (github.com/VerbalExpressions)

1 point

10 years ago

455.

Node CLI tool to align versions across package manifests (github.com/Addvilz)

1 point

11 years ago

456.

Show HN: LLM Verified with Monte Carlo Tree Search (github.com/namin)

102 points

3 years ago

457.

Ask HN: Best minimal CSS Framework for side project

12 points

10 years ago

458.

Show HN: Doctest – the lightest C++ testing framework – version 1.1 released

7 points

10 years ago

459.

Make your terminal snow

5 points

13 years ago

460.

Show HN: VerifyWise, an open-source governance platform for AI compliance (verifywise.ai)

5 points

a year ago

461.

Show HN: Self Sovereign Verification – don’t pay for verified (github.com/arxskycom)

4 points

3 years ago

462.

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

3 points

4 years ago

463.

Show HN: Cursor Version Manager – Shell script to manage Cursor editor versions (github.com/ivstiv)

3 points

a year ago

464.

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

2 points

3 months ago

465.

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

1 point

6 months ago

466.

Runtime validation is still fucked in AI coding agents

1 point

4 months ago

467.

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

1 point

a year ago

468.

Email verification protocol (github.com/WICG)

214 points

7 months ago

469.

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

177 points

6 years ago

470.

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

170 points

5 years ago

471.

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

158 points

a year ago

472.

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

102 points

10 years ago

473.

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

95 points

7 years ago

474.

XLIDE: VBA without excel (github.com/WilliamSmithEdward)

65 points

10 days ago

475.

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

20 points

2 years ago

476.

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

17 points

3 years ago

477.

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

16 points

11 years ago

478.

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

12 points

5 years ago

479.

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

8 points

6 years ago

480.

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

7 points

6 years ago