Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Creusot, a deductive verifier for Rust code

github.com/creusot-rs

2 years ago

3 points

212.

Creusot: A deductive verifier for Rust code

github.com/creusot-rs

2 years ago

3 points

213.

Bookmarklet to Block Verified Accounts on Twitter

gist.github.com

3 years ago

VeninVidiaVicii

3 points

214.

Gobra: Automated, modular verifier for Go, based on Viper verification

github.com/viperproject

4 years ago

3 points

215.

Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizations

github.com/bytecodealliance

4 years ago

3 points

216.

GitHub is getting SSH commit signing Verified badges, in support of Git 2.34

github.com/community

4 years ago

3 points

217.

Gobra: A Program Verifier for Go

4 years ago

3 points

218.

A minimalistic blockchain consensus implemented and verified in Coq

github.com/certichain

5 years ago

3 points

219.

Google RISCV-DV, An open-source instruction generator for RISC-V verification

github.com/google

6 years ago

3 points

220.

Legacy LVFS S3 bucket takeover and CVE-2020-10759 fwupd sig verification bypass

github.com/justinsteven

6 years ago

3 points

221.

Show HN: A server for doing SMS, email etc. verification in Go

github.com/knadh

7 years ago

3 points

222.

Show HN: 3D Convolutional Neural Networks for Speaker Verification

github.com/astorfi

8 years ago

3 points

223.

Chia VDF (Verifiable Delay Function) Competition and Implementation

github.com/Chia-Network

8 years ago

3 points

224.

Research prototype tool for modular formal verification of C and Java programs

github.com/verifast

8 years ago

3 points

225.

OWASP Mobile AppSec Verification Standard (MASVS) Version 1.0 Released

github.com/OWASP

8 years ago

3 points

226.

Common x509 certificate creation and verification pitfalls

gist.github.com

10 years ago

3 points

227.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

228.

Show HN: Circe – Deterministic, offline-verifiable receipts for AI agent actions

github.com/wv26296-ux

5 months ago

2 points

229.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

230.

Show HN: IC-AGI – Threshold auth for AI agents, formally verified in TLA+

github.com/saezbaldo

4 months ago

2 points

231.

Show HN: Nova Stack – Verifiable TEE Apps on AWS Nitro with ZKP Attestation

github.com/sparsity-xyz

5 months ago

2 points

232.

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

a year ago

2 points

233.

Show HN: Runtime Encrypted and Verifiable Kubernetes

github.com/edgelesssys

4 years ago

2 points

234.

Codecov verifies checksums by downloading them

github.com/codecov

5 years ago

2 points

235.

Lastest – Visaul Verification of AI Developmetn

github.com/las-team

a month ago

2 points

236.

Replacing probabilistic AI with deterministic math and Dafny formal verification

gist.github.com

2 months ago

2 points

237.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

238.

Show HN: SyncKit – TLA+ verified CRDT for local-first apps (zero unsafe Rust)

github.com/Dancode-188

6 months ago

2 points

239.

First Verifiable AI Architecture Analysis – Zero Source Files Read

github.com/mirzahusadzic

8 months ago

2 points

240.

ChainCred: Open-Source Blockchain-Based Academic Credential Verification

github.com/achaljhawar

9 months ago

2 points