Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Show HN: Email Verifier CLI/Library (github.com/yolodex-ai)

2 points

6 months ago

272.

Android Developer Verification Discourse (gist.github.com)

2 points

7 months ago

273.

Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com/gustavo-grieco)

2 points

9 months ago

274.

Axiom: Decentralized AI network that discovers, verifies, and archives truth (github.com/ArtisticIntentionz)

2 points

10 months ago

275.

Open source expert system with verifiable answers (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

276.

VerifAI – Generative Search/Productivity engine with Verifiable answers (star) (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

277.

A transparent, highly scalable and cryptographically verifiable data store (github.com/google)

2 points

a year ago

278.

Show HN: Zeno – A framework for verifiable RL rewards (code, math, and more) (github.com/Think-a-Tron)

2 points

a year ago

279.

VerifAI: Generative Search with Verifiable Answers you can easily deploy (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

280.

(Coq based) Verified Matching of Regular Expressions with Lookarounds (github.com/Agnishom)

2 points

2 years ago

281.

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

2 points

2 years ago

282.

Show HN: PFV (Protocols Formal Verification) (github.com/ElNiak)

2 points

2 years ago

283.

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

2 points

2 years ago

284.

ZK-blind: JWT verification with zero knowledge proofs (github.com/emmaguo13)

2 points

2 years ago

285.

Kami: A Platform for Hardware Specification and Verification (github.com/mit-plv)

2 points

2 years ago

286.

TODO: Remove this once I verified it works in other environment other than local (github.com/google)

2 points

3 years ago

287.

avbroot: Sign (and root) Android with custom keys while preserving Verified Boot (github.com/chenxiaolong)

2 points

3 years ago

288.

Composable static typing, proofs and formal verification for Julia (github.com/Keno)

2 points

3 years ago

289.

Simple Verification of Rust Programs via Functional Purification (2016) [pdf] (github.com/Kha)

2 points

3 years ago

290.

Nostr Verify: WordPress plugin for Nostr verification using NIP-05 (github.com/jeherve)

2 points

3 years ago

291.

Blocks all Verified Twitter Blue users on twitter.com via browser extension (github.com/kheina-com)

2 points

3 years ago

292.

Blocks all Twitter Blue verified users on twitter.com (github.com/kheina-com)

2 points

3 years ago

293.

Eight-dollars: A browser extension that shows Twitter blue vs. verified users (github.com/wseagar)

2 points

3 years ago

294.

Prusti: a static verifier for Rust (github.com/viperproject)

2 points

4 years ago

295.

CreuSAT: A formally verified SAT solver written in Rust (github.com/sarsko)

2 points

4 years ago

296.

DaisyNFS is a formally verified NFS server (github.com/mit-pdos)

2 points

4 years ago

297.

Git: Commit and tag signing/verification via SSH keys (github.com/git)

2 points

4 years ago

298.

Git: Add commit and tag signing/verification via SSH keys (github.com/git)

2 points

5 years ago

299.

Winterfell: A STARK prover and verifier for arbitrary computations (github.com/novifinancial)

2 points

5 years ago

300.

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

2 points

5 years ago