Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: Feeling Blue, Twitter verification for the rest of us

feelingblue.pages.dev

4 years ago

1 points

422.

A tiny, simple, dynamic type verifier for JavaScript [Gist]

gist.github.com

4 years ago

1 points

423.

Formal verification of folklore and miscellaneous results in number theory

github.com/josephcmac

4 years ago

1 points

424.

Carge-crev: A cryptographically verifiable code review system for Rust

github.com/crev-dev

4 years ago

1 points

425.

Verus: Verified Rust for low-level systems code

github.com/secure-foundations

4 years ago

1 points

426.

Creusot: Deductive Verification of Rust

github.com/xldenis

4 years ago

1 points

427.

Continuous Verification of the Ostree Content

github.com/alexlarsson

4 years ago

1 points

428.

Verified Instruction-Level Energy Consumption Measurement for Nvidia GPUs

github.com/NMSU-PEARL

4 years ago

1 points

429.

GitHub: Verification of Domains

docs.github.com

4 years ago

1 points

430.

Show HN: Gitchain – chained Git patches for evolving verification and comparison

github.com/nvrrdt

5 years ago

1 points

431.

A free, secure and open source app for Android to manage 2-step verification

github.com/beemdevelopment

5 years ago

1 points

432.

Git: SSH signing: Add commit and tag signing/verification via SSH keys using SSH

5 years ago

1 points

433.

Authenticator generates 2-Step Verification codes in the browser

github.com/Authenticator-Extension

5 years ago

1 points

434.

Stainless – Verification framework and tool for higher-order Scala programs

github.com/epfl-lara

5 years ago

1 points

435.

Verifiable Computer Question

5 years ago

1 points

436.

Enterprise Verified Domains – GitHub Roadmap

github.com/github

5 years ago

prakhargurunani

1 points

437.

Show HN: Random instruction generator for RISC-V processor verification

github.com/google

5 years ago

1 points

438.

Google ReCAPTCHA Verification Cloudflare Worker

6 years ago

1 points

439.

A transparent, highly scalable and cryptographically verifiable data store

github.com/google

6 years ago

1 points

440.

Trillian: A transparent, scalable, cryptographically verifiable data store

github.com/google

6 years ago

1 points

441.

Convergence Verification of the Collatz Problem

github.com/xbarin02

6 years ago

1 points

442.

Show HN: NPM module that verifies PayKickStart IPN notifications

github.com/dassiorleando

6 years ago

1 points

443.

Add trailing slash to verified comments that benefit from it

github.com/Homebrew

6 years ago

1 points

444.

Show HN: Add license key verification to your app easily

github.com/furkansenharputlu

6 years ago

1 points

445.

ElectionGuard: Open-source SDK for secure and verifiable voting machines

github.com/microsoft

6 years ago

1 points

446.

Client-side software update verification failures

gist.github.com

7 years ago

1 points

447.

Show HN: RSA signature verification for embedded systems from Chrome OS

github.com/jhallen

7 years ago

1 points

448.

CakeML: A Verified Implementation of ML

github.com/CakeML

7 years ago

1 points

449.

EverCrypt: A Verified Crypto Provider Engineered for Multi-Platform Performance

github.com/project-everest

7 years ago

1 points

450.

dumb-crypto – Dumb, but easily verifiable implementations of crypto algorithm

github.com/indutny

7 years ago

1 points