Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Rust2ada: Converts Rust code to formally verifiable Ada, including itself (github.com/IntuitionAmiga)

3 points

a year ago

212.

Creusot, a deductive verifier for Rust code (github.com/creusot-rs)

3 points

2 years ago

213.

Creusot: A deductive verifier for Rust code (github.com/creusot-rs)

3 points

2 years ago

214.

Bookmarklet to Block Verified Accounts on Twitter (gist.github.com)

3 points

VeninVidiaVicii

3 years ago

215.

Gobra: Automated, modular verifier for Go, based on Viper verification (github.com/viperproject)

3 points

4 years ago

216.

Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizations (github.com/bytecodealliance)

3 points

4 years ago

217.

GitHub is getting SSH commit signing Verified badges, in support of Git 2.34 (github.com/community)

3 points

4 years ago

218.

Gobra: A Program Verifier for Go

3 points

4 years ago

219.

A minimalistic blockchain consensus implemented and verified in Coq (github.com/certichain)

3 points

5 years ago

220.

Google RISCV-DV, An open-source instruction generator for RISC-V verification (github.com/google)

3 points

6 years ago

221.

Legacy LVFS S3 bucket takeover and CVE-2020-10759 fwupd sig verification bypass (github.com/justinsteven)

3 points

6 years ago

222.

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

3 points

7 years ago

223.

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

3 points

7 years ago

224.

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

3 points

8 years ago

225.

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

3 points

8 years ago

226.

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

3 points

8 years ago

227.

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

3 points

10 years ago

228.

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

2 points

4 months ago

229.

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

2 points

5 months ago

230.

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

2 points

3 months ago

231.

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

2 points

4 months ago

232.

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

2 points

4 months ago

233.

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

2 points

a year ago

234.

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

2 points

4 years ago

235.

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

2 points

5 years ago

236.

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

2 points

a month ago

237.

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

2 points

a month ago

238.

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

2 points

3 months ago

239.

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

2 points

6 months ago

240.

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

2 points

7 months ago