Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Simple Verification of Rust Programs via Functional Purification (2016) [pdf]

3 years ago

2 points

302.

Nostr Verify: WordPress plugin for Nostr verification using NIP-05

github.com/jeherve

3 years ago

2 points

303.

Blocks all Verified Twitter Blue users on twitter.com via browser extension

github.com/kheina-com

3 years ago

2 points

304.

Blocks all Twitter Blue verified users on twitter.com

github.com/kheina-com

3 years ago

2 points

305.

Eight-dollars: A browser extension that shows Twitter blue vs. verified users

github.com/wseagar

3 years ago

2 points

306.

Prusti: a static verifier for Rust

github.com/viperproject

4 years ago

2 points

307.

CreuSAT: A formally verified SAT solver written in Rust

github.com/sarsko

4 years ago

2 points

308.

DaisyNFS is a formally verified NFS server

github.com/mit-pdos

4 years ago

2 points

309.

Git: Commit and tag signing/verification via SSH keys

5 years ago

2 points

310.

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

5 years ago

2 points

311.

Winterfell: A STARK prover and verifier for arbitrary computations

github.com/novifinancial

5 years ago

2 points

312.

SearchShare: PoC for sharing verified search engine results between users

github.com/rjaus

5 years ago

2 points

313.

This tool verifies Gmail addresses without being authenticated

github.com/codedbrain

5 years ago

2 points

314.

git-evtag – extended verification for Git tags

github.com/cgwalters

5 years ago

2 points

315.

ZetZ: A zymbolic verifier and tranzpiler to bare metal C Resources

github.com/zetzit

5 years ago

2 points

316.

MailAuth library that verifies DKIM/SPF/DMARC switched from AGPL to MIT

github.com/andris9

5 years ago

2 points

317.

A list of companies that use formal verification methods

github.com/ligurio

5 years ago

2 points

318.

Immudb: Light immutable db with built-in cryptographic proof and verification

github.com/codenotary

5 years ago

2 points

319.

ElectionGuard open-source homomorphic encrypted end-to-end verifiable voting

github.com/microsoft

6 years ago

2 points

320.

Show HN: Paranoid Scientist – Verification for scientific software

github.com/mwshinn

6 years ago

2 points

321.

Compile-Time Verified SQL Queries Without a DSL

github.com/launchbadge

6 years ago

2 points

322.

Trillian: Transparent,highly scalable and cryptographically verifiable datastore

github.com/google

7 years ago

2 points

323.

HACL*, a formally verified cryptographic library written in F*

github.com/project-everest

7 years ago

2 points

324.

Dafny: Verification-Aware Programming Language

github.com/Microsoft

7 years ago

2 points

325.

A formally verified proof of the soundness of System F

github.com/stepchowfun

7 years ago

2 points

326.

Protocol for computation verification in P2P networks

github.com/gpestana

8 years ago

2 points

327.

Free email address verification library in Go

github.com/sdwolfe32

8 years ago

2 points

328.

A Free Email Verification API Written in Go

github.com/sdwolfe32

9 years ago

2 points

329.

Show HN: EtherDelta Guard – Chrome extension – Verifies etherdelta.com integrity

github.com/paxpelus

9 years ago

2 points

330.

Show HN: Ruby Firebase ID Token Verifier

github.com/fschuindt

9 years ago

2 points