Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

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

1 point

4 years ago

422.

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

1 point

4 years ago

423.

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

1 point

4 years ago

424.

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

1 point

5 years ago

425.

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

1 point

5 years ago

426.

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

1 point

5 years ago

427.

Verifiable Computer Question

1 point

5 years ago

428.

Enterprise Verified Domains – GitHub Roadmap (github.com/github)

1 point

prakhargurunani

5 years ago

429.

Show HN: Random instruction generator for RISC-V processor verification (github.com/google)

1 point

5 years ago

430.

Google ReCAPTCHA Verification Cloudflare Worker (github.com/HR)

1 point

6 years ago

431.

A transparent, highly scalable and cryptographically verifiable data store (github.com/google)

1 point

6 years ago

432.

Trillian: A transparent, scalable, cryptographically verifiable data store (github.com/google)

1 point

6 years ago

433.

Convergence Verification of the Collatz Problem (github.com/xbarin02)

1 point

6 years ago

434.

Show HN: NPM module that verifies PayKickStart IPN notifications (github.com/dassiorleando)

1 point

6 years ago

435.

Add trailing slash to verified comments that benefit from it (github.com/Homebrew)

1 point

6 years ago

436.

Show HN: Add license key verification to your app easily (github.com/furkansenharputlu)

1 point

6 years ago

437.

ElectionGuard: Open-source SDK for secure and verifiable voting machines (github.com/microsoft)

1 point

6 years ago

438.

Client-side software update verification failures (gist.github.com)

1 point

7 years ago

439.

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

1 point

7 years ago

440.

CakeML: A Verified Implementation of ML (github.com/CakeML)

1 point

7 years ago

441.

EverCrypt: A Verified Crypto Provider Engineered for Multi-Platform Performance (github.com/project-everest)

1 point

7 years ago

442.

dumb-crypto – Dumb, but easily verifiable implementations of crypto algorithm (github.com/indutny)

1 point

7 years ago

443.

A library for checking JAVA class fields regarding data validation&verification (github.com/burakim)

1 point

8 years ago

444.

A very simple example of verification in Idris (gist.github.com)

1 point

8 years ago

445.

Show HN: go-lcns: a license key generation and verification library for Go (github.com/adtac)

1 point

8 years ago

446.

Container Security Verification Standard (github.com/Redguard)

1 point

8 years ago

447.

CSRF verification php middleware (github.com/zakirullin)

1 point

8 years ago

448.

Show HN: TypeScript type-safe RPC with automatic payload shape verification (github.com/sb-js)

1 point

8 years ago

449.

Verify that a request is from Google crawlers using Google's DNS verification (github.com/roccomuso)

1 point

8 years ago

450.

Rosette is a solver-aided language for program synthesis and verification (github.com/emina)

1 point

8 years ago