Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: Lux Sync Master – verified n8n and WordPress and Docker automation pack (github.com/bartoszcreator)

1 point

8 months ago

392.

Delegatable Verification (DelVe): A simpler approach to domain verification (github.com/mikotoIO)

1 point

8 months ago

393.

Show HN: SaveContract – CLI tool to download verified smart contract source code (github.com/aaurelions)

1 point

10 months ago

394.

Show HN: ARZY-G – A token born from AI-verified usefulness (not mined or bought)

1 point

a year ago

395.

Show HN: passkey-go A Go library for streamlined Passkey (WebAuthn) verification (github.com/aethiopicuschan)

1 point

aethiopicuschan

a year ago

396.

Show HN: Scopez verifies connectivity to targets, reveals CDN presence etc. (github.com/xcalts)

1 point

a year ago

397.

Modelteam – Build AI Verified Skill Profile from Your Code (github.com/modelteam-ai)

1 point

a year ago

398.

cargo-crev – cryptographically verifiable code review system for Rust (github.com/crev-dev)

1 point

a year ago

399.

Issue Digital/Verifiable Credentials with the Existing OIDC Infrastructure (github.com/MyNextID)

1 point

a year ago

400.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

1 point

a year ago

401.

NASA Copilot: A stream-based runtime-verification framework (github.com/Copilot-Language)

1 point

2 years ago

402.

Show HN: Proof of Peace, Zero-Knowledge Proof for Verifiable Nuclear Disarmament (github.com/zk-bankai)

1 point

2 years ago

403.

Show HN: New Chrome Extension for Trustless Ethereum Balance Verification (chrome.google.com)

1 point

3 years ago

404.

John Regehr: Alive2 LLVM optims verification (github.com/AliveToolkit)

1 point

3 years ago

405.

Par2cmdline is a PAR 2.0 compatible file verification and repair tool (github.com/Parchive)

1 point

4 years ago

406.

Show HN: Feeling Blue, Twitter verification for the rest of us (feelingblue.pages.dev)

1 point

4 years ago

407.

A tiny, simple, dynamic type verifier for JavaScript [Gist] (gist.github.com)

1 point

4 years ago

408.

Formal verification of folklore and miscellaneous results in number theory (github.com/josephcmac)

1 point

4 years ago

409.

Carge-crev: A cryptographically verifiable code review system for Rust (github.com/crev-dev)

1 point

4 years ago

410.

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

1 point

4 years ago

411.

Creusot: Deductive Verification of Rust (github.com/xldenis)

1 point

4 years ago

412.

Continuous Verification of the Ostree Content (github.com/alexlarsson)

1 point

4 years ago

413.

Verified Instruction-Level Energy Consumption Measurement for Nvidia GPUs (github.com/NMSU-PEARL)

1 point

4 years ago

414.

GitHub: Verification of Domains (docs.github.com)

1 point

4 years ago

415.

Show HN: Gitchain – chained Git patches for evolving verification and comparison (github.com/nvrrdt)

1 point

4 years ago

416.

A free, secure and open source app for Android to manage 2-step verification (github.com/beemdevelopment)

1 point

4 years ago

417.

Git: SSH signing: Add commit and tag signing/verification via SSH keys using SSH (github.com/git)

1 point

5 years ago

418.

Authenticator generates 2-Step Verification codes in the browser (github.com/Authenticator-Extension)

1 point

5 years ago

419.

Stainless – Verification framework and tool for higher-order Scala programs (github.com/epfl-lara)

1 point

5 years ago

420.

Verifiable Computer Question

1 point

5 years ago