Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: A non-programmer built a blockchain ecosystem using only AI

4 months ago

BizinikiwiBrain

1 points

62.

Show HN: Qeltrix:PoC for content-derived,parallel,streaming encryption container

7 months ago

1 points

63.

Verifiable Data Structures (2015) [pdf]

github.com/google

9 years ago

75 points

64.

List of verification and synthesis tools focused on C and C++

github.com/johnyf

10 years ago

3 points

65.

Trustless Attestation Verification

github.com/tiktok-privacy-innovation

a year ago

2 points

66.

A pure Python cryptographic commitment scheme with no dependencies

github.com/RayanOgh

9 months ago

1 points

67.

Trustless Attestation Verification

github.com/tiktok-privacy-innovation

a year ago

1 points

68.

List of Verification and Synthesis Tools

github.com/johnyf

6 years ago

1 points

69.

Organization domain verification

blog.github.com

8 years ago

1 points

70.

Tell HN: Cloudflare Is Blocking Firefox Forks Waterfox Classic and Pale Moon

4 years ago

122 points

71.

Show HN: MEDF – Mutable Expression Description Format

github.com/maskin

5 months ago

2 points

72.

Show HN: Traceprompt – open-source SDK for tamper-proof LLM audit trails

github.com/traceprompt

10 months ago

2 points

73.

Show HN: JAMA4JS – Linear Algebra for JavaScript

github.com/conceptualGabrielPutnam

4 years ago

2 points

74.

Show HN: AcquireMock – Self-hosted mock payment gateway for testing

github.com/illusiOxd

7 months ago

1 points

75.

Show HN: Open-source SDK for AI agent audit trails

traceprompt.com

10 months ago

1 points

76.

GitHub S/MIME Signature Verification

blog.github.com

8 years ago

3 points

77.

Show HN: Cryptographic proofs that algorithms stay fair over time [pdf]

github.com/skylessdev

a year ago

1 points

78.

EU age verification app not planning desktop support

github.com/eu-digital-identity-wallet

9 months ago

584 points

79.

Show HN: Proven – An alternative to Twitter's verified accounts, with HN support

github.com/dschep

8 years ago

334 points

80.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot

github.com/sarsko

4 years ago

315 points

81.

AMD: Microcode Signature Verification Vulnerability

github.com/google

a year ago

287 points

82.

Rosenpass – formally verified post-quantum WireGuard

github.com/rosenpass

3 years ago

285 points

83.

Verified Rust for low-level systems code

github.com/verus-lang

2 years ago

284 points

84.

Lion: A formally verified, 5-stage pipeline RISC-V core

github.com/standardsemiconductor

5 years ago

241 points

85.

Loki: An open-source tool for fact verification

github.com/Libr-AI

2 years ago

238 points

86.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]

github.com/deepseek-ai

7 months ago

231 points

87.

CompCert – Formally-verified C compiler

github.com/AbsInt

5 years ago

227 points

88.

Open source calculator firmware DB48X forbids CA/CO use due to age verification

4 months ago

225 points

89.

Verified Spec-Driven Development (VSDD)

gist.github.com

4 months ago

211 points

90.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points