Search: github.com/vsr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Nostr Verify: WordPress plugin for Nostr verification using NIP-05 (github.com/jeherve)

2 points

3 years ago

512.

Show HN: Convert VHDL to Verilog using GHDL (+ first evaluation) (github.com/stnolting)

2 points

youre_the_voice

4 years ago

513.

Python releases adoption since 2016 (github.com/JulienPalard)

2 points

4 years ago

514.

Formal verification of the Algorand consensus protocol (github.com/runtimeverification)

2 points

6 years ago

515.

Verifying a DKIM-Signature by Hand (github.com/kmille)

2 points

6 years ago

516.

Vertex, a JSX Server Side View Engine (github.com/ahmad-moussawi)

2 points

8 years ago

517.

JavaScript – Application Version Manager (github.com/asduser)

2 points

9 years ago

518.

Veracode scanning extension for Visual Studio Team Services build system (github.com/Microsoft)

2 points

10 years ago

519.

Show HN: Verse – FOSS Markdown editor web app (github.com/p4cs-974)

1 point

9 months ago

520.

Show HN: I Built a GitHub Action to Wait for Vercel Deployments Before CI (github.com/marketplace)

1 point

10 months ago

521.

Namecheap+Vercel Auto Domain Connector (github.com/jtc268)

1 point

a year ago

522.

Terms of Service Histories in a Git Repository (github.com/OpenTermsArchive)

1 point

3 years ago

523.

CLI app for managing peerDependencies (github.com/stefanbuck)

1 point

8 years ago

524.

Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM) (github.com/KLOUCEO)

1 point

a month ago

525.

Show HN: Veriflow – Declarative API Testing CLI for Humans and CI/CD (github.com/okira-e)

1 point

a month ago

526.

Show HN: MCP to get latest dependency package and tool versions (github.com/MShekow)

1 point

4 months ago

527.

a tool to recompute Original Decision data from your Canon EOS DSLR (github.com/lclevy)

1 point

14 years ago

528.

Show HN: GitHub Action for Vercel deployments without deployment_status events (github.com/marketplace)

1 point

a year ago

529.

Verdant: Storage, sync and realtime for local-first web apps (github.com/a-type)

1 point

2 years ago

530.

Sentimental Versioning (github.com/dominictarr)

1 point

2 years ago

531.

DCPU-16 implemented on reconfigurable silicon (verilog) (github.com/filepang)

1 point

14 years ago

532.

2FA on Laravel with the support of the most popular SMS providers (github.com/alexeygeno)

1 point

3 years ago

533.

DragonRuby stub experimenting with verlet integration and collisions (github.com/owenbutler)

1 point

3 years ago

534.

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

1 point

4 years ago

535.

Plotting PyPI downloads by Python version (github.com/JulienPalard)

1 point

4 years ago

536.

Does Git Dream in Text? (github.com/GavinMendelGleason)

1 point

5 years ago

537.

Show HN: RSA signature verification for embedded systems from Chrome OS (github.com/jhallen)

1 point

7 years ago

538.

Check if you haven't forgotten to bump the PyPi package (Python) version (github.com/dmytrostriletskyi)

1 point

7 years ago

539.

Ad-versarial: Defeating Perceptual Ad-Blocking (github.com/ftramer)

1 point

8 years ago

540.

Lua Vermelha (github.com/Leonardo2718)

1 point

9 years ago