Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

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

2 points

5 years ago

302.

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

2 points

5 years ago

303.

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

2 points

5 years ago

304.

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

2 points

5 years ago

305.

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

2 points

5 years ago

306.

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

2 points

5 years ago

307.

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

2 points

5 years ago

308.

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

2 points

6 years ago

309.

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

2 points

6 years ago

310.

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

2 points

6 years ago

311.

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

2 points

7 years ago

312.

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

2 points

7 years ago

313.

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

2 points

7 years ago

314.

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

2 points

7 years ago

315.

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

2 points

8 years ago

316.

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

2 points

8 years ago

317.

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

2 points

9 years ago

318.

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

2 points

9 years ago

319.

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

2 points

9 years ago

320.

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

2 points

9 years ago

321.

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

2 points

10 years ago

322.

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

2 points

10 years ago

323.

Show HN: Verification of Human Understanding of LLM-Generated Work (github.com/jbethune777)

1 point

24 days ago

324.

Show HN: License key verification tool written in Go (github.com/furkansenharputlu)

1 point

6 years ago

325.

Burhan(TruthCert)fail-closed verification LLM outputs(measure false-ship rate) (github.com/mahmood726-cyber)

1 point

4 months ago

326.

Show HN: Blockrand – Verifiable entropy using local secrets and Drand beacons (github.com/blockrand-api)

1 point

rishi_blockrand

5 months ago

327.

Open Museum – an MCP server for license-verified search across museums (github.com/cfpramod)

1 point

a month ago

328.

40% Increased Throughput 16.8% Less Energy for AI (Verified via ZKP) (github.com/BerzeShift)

1 point

2 months ago

329.

Show HN: QRAuth – Open-source QR verification with passkeys and device trust (github.com/QRAuth-io)

1 point

2 months ago

330.

Apysource – Verifies if sources say what you think they say (github.com/alganet)

1 point

2 months ago