Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Verifiable Computer Question

1 point

5 years ago

422.

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

1 point

prakhargurunani

5 years ago

423.

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

1 point

5 years ago

424.

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

1 point

6 years ago

425.

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

1 point

6 years ago

426.

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

1 point

6 years ago

427.

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

1 point

6 years ago

428.

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

1 point

6 years ago

429.

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

1 point

6 years ago

430.

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

1 point

6 years ago

431.

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

1 point

6 years ago

432.

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

1 point

7 years ago

433.

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

1 point

7 years ago

434.

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

1 point

7 years ago

435.

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

1 point

7 years ago

436.

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

1 point

7 years ago

437.

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

1 point

8 years ago

438.

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

1 point

8 years ago

439.

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

1 point

8 years ago

440.

Container Security Verification Standard (github.com/Redguard)

1 point

8 years ago

441.

CSRF verification php middleware (github.com/zakirullin)

1 point

8 years ago

442.

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

1 point

8 years ago

443.

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

1 point

8 years ago

444.

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

1 point

8 years ago

445.

Nuclear warhead verification with an Apple II (github.com/nuclearfutureslab)

1 point

8 years ago

446.

Spinner: Semi-Automatic Detection of Pinning Without Hostname Verification (github.com/ChrisMcMStone)

1 point

8 years ago

447.

Top GitHub Trending for Go – Free Email Verification API (github.com/sdwolfe32)

1 point

9 years ago

448.

Trumail – A Free Email Verification API Written in Go (github.com/sdwolfe32)

1 point

9 years ago

449.

Simplifying Log verification (github.com/spandhar)

1 point

9 years ago

450.

Show HN: Script to install recent python versions. Verified on .deb based OSs (gist.github.com)

1 point

9 years ago