Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Blocks all Twitter Blue verified users on twitter.com (github.com/kheina-com)

2 points

3 years ago

302.

Eight-dollars: A browser extension that shows Twitter blue vs. verified users (github.com/wseagar)

2 points

3 years ago

303.

Prusti: a static verifier for Rust (github.com/viperproject)

2 points

4 years ago

304.

CreuSAT: A formally verified SAT solver written in Rust (github.com/sarsko)

2 points

4 years ago

305.

DaisyNFS is a formally verified NFS server (github.com/mit-pdos)

2 points

4 years ago

306.

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

2 points

4 years ago

307.

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

2 points

5 years ago

308.

Winterfell: A STARK prover and verifier for arbitrary computations (github.com/novifinancial)

2 points

5 years ago

309.

SearchShare: PoC for sharing verified search engine results between users (github.com/rjaus)

2 points

5 years ago

310.

This tool verifies Gmail addresses without being authenticated (github.com/codedbrain)

2 points

5 years ago

311.

git-evtag – extended verification for Git tags (github.com/cgwalters)

2 points

5 years ago

312.

ZetZ: A zymbolic verifier and tranzpiler to bare metal C Resources (github.com/zetzit)

2 points

5 years ago

313.

MailAuth library that verifies DKIM/SPF/DMARC switched from AGPL to MIT (github.com/andris9)

2 points

5 years ago

314.

A list of companies that use formal verification methods (github.com/ligurio)

2 points

5 years ago

315.

Immudb: Light immutable db with built-in cryptographic proof and verification (github.com/codenotary)

2 points

5 years ago

316.

ElectionGuard open-source homomorphic encrypted end-to-end verifiable voting (github.com/microsoft)

2 points

6 years ago

317.

Show HN: Paranoid Scientist – Verification for scientific software (github.com/mwshinn)

2 points

6 years ago

318.

Compile-Time Verified SQL Queries Without a DSL (github.com/launchbadge)

2 points

6 years ago

319.

Trillian: Transparent,highly scalable and cryptographically verifiable datastore (github.com/google)

2 points

7 years ago

320.

HACL*, a formally verified cryptographic library written in F* (github.com/project-everest)

2 points

7 years ago

321.

Dafny: Verification-Aware Programming Language (github.com/Microsoft)

2 points

7 years ago

322.

A formally verified proof of the soundness of System F (github.com/stepchowfun)

2 points

7 years ago

323.

Protocol for computation verification in P2P networks (github.com/gpestana)

2 points

8 years ago

324.

Free email address verification library in Go (github.com/sdwolfe32)

2 points

8 years ago

325.

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

2 points

9 years ago

326.

Show HN: EtherDelta Guard – Chrome extension – Verifies etherdelta.com integrity (github.com/paxpelus)

2 points

9 years ago

327.

Show HN: Ruby Firebase ID Token Verifier (github.com/fschuindt)

2 points

9 years ago

328.

CompCert – The verified C compiler (github.com/AbsInt)

2 points

9 years ago

329.

Extended verification for Git tags (github.com/cgwalters)

2 points

10 years ago

330.

Dafny: Verification-Aware Programming Language from Microsoft (github.com/Microsoft)

2 points

10 years ago