Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Show HN: A server for doing SMS, email etc. verification in Go (github.com/knadh)

3 points

7 years ago

212.

Show HN: 3D Convolutional Neural Networks for Speaker Verification (github.com/astorfi)

3 points

7 years ago

213.

Chia VDF (Verifiable Delay Function) Competition and Implementation (github.com/Chia-Network)

3 points

8 years ago

214.

Research prototype tool for modular formal verification of C and Java programs (github.com/verifast)

3 points

8 years ago

215.

OWASP Mobile AppSec Verification Standard (MASVS) Version 1.0 Released (github.com/OWASP)

3 points

8 years ago

216.

Common x509 certificate creation and verification pitfalls (gist.github.com)

3 points

10 years ago

217.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

218.

Show HN: Circe – Deterministic, offline-verifiable receipts for AI agent actions (github.com/wv26296-ux)

2 points

5 months ago

219.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

220.

Show HN: IC-AGI – Threshold auth for AI agents, formally verified in TLA+ (github.com/saezbaldo)

2 points

4 months ago

221.

Show HN: Nova Stack – Verifiable TEE Apps on AWS Nitro with ZKP Attestation (github.com/sparsity-xyz)

2 points

4 months ago

222.

AIHint an open standard for signed verifiable metadata readable by AI on the web

2 points

a year ago

223.

Show HN: Runtime Encrypted and Verifiable Kubernetes (github.com/edgelesssys)

2 points

4 years ago

224.

Codecov verifies checksums by downloading them (github.com/codecov)

2 points

5 years ago

225.

Lastest – Visaul Verification of AI Developmetn (github.com/las-team)

2 points

25 days ago

226.

Replacing probabilistic AI with deterministic math and Dafny formal verification (gist.github.com)

2 points

a month ago

227.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

228.

Show HN: SyncKit – TLA+ verified CRDT for local-first apps (zero unsafe Rust) (github.com/Dancode-188)

2 points

6 months ago

229.

First Verifiable AI Architecture Analysis – Zero Source Files Read (github.com/mirzahusadzic)

2 points

7 months ago

230.

ChainCred: Open-Source Blockchain-Based Academic Credential Verification (github.com/achaljhawar)

2 points

8 months ago

231.

Open specification for user-respecting ID verifications (whitepaper) (github.com/zer0-ID)

2 points

10 months ago

232.

Show HN: High-performance Perforce file integrity verification (github.com/fechols)

2 points

a year ago

233.

Service Worker Verification (github.com/w3c)

2 points

2 years ago

234.

T3Boy – A Browser Game Boy Emulator Capable of TAS Verification (github.com/TiKevin83)

2 points

2 years ago

235.

Bacalhau: Compute over Data framework for public, transparent, verifiable work (github.com/bacalhau-project)

2 points

3 years ago

236.

Fwupd – S3 bucket takeover and CVE-2020-10759 signature verification bypass (github.com/justinsteven)

2 points

6 years ago

237.

Show HN: Simple Accountless, Signature Verification Only Web Hosting Server (github.com/realrasengan)

2 points

6 years ago

238.

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

2 points

8 years ago

239.

Show HN: Identified – identity verification / ssn validation gem (github.com/dgollahon)

2 points

11 years ago

240.

Show HN: Built a verifiable, open-source SoC 2 readiness scanner (loxeai.com)

2 points

20 days ago