Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

CompCert – Formally-verified C compiler (github.com/AbsInt)

227 points

5 years ago

92.

Open source calculator firmware DB48X forbids CA/CO use due to age verification (github.com/c3d)

225 points

3 months ago

93.

Verified Spec-Driven Development (VSDD) (gist.github.com)

211 points

3 months ago

94.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

95.

Dafny – A programming language with a program verifier (github.com/Microsoft)

165 points

9 years ago

96.

Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)

159 points

a year ago

97.

Verus: Verified Rust for low-level systems code (github.com/secure-foundations)

158 points

a year ago

98.

Show HN: Phone verification at no cost (github.com/natsu90)

147 points

10 years ago

99.

Show HN: Add license key verification to your apps (github.com/furkansenharputlu)

131 points

6 years ago

100.

Attempting (Failed) Verification of the Wright Signature (github.com/patio11)

118 points

10 years ago

101.

Store birth date in systemd for age verification (github.com/systemd)

116 points

3 months ago

102.

Dafny is a verification-aware programming language (github.com/dafny-lang)

107 points

2 years ago

103.

I traced $2B in nonprofit grants for Meta and Age Verification lobbying

99 points

3 months ago

104.

Cryptographically verifiable code review system for cargo Rust package manager (github.com/crev-dev)

95 points

5 years ago

105.

Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)

94 points

7 months ago

106.

Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification (github.com/JGiraldo29)

82 points

2 years ago

107.

Show HN: Kexa.io – Open-Source IT Security and Compliance Verification

81 points

patrick4urcloud

a year ago

108.

Dafny: verification-aware programming language (github.com/Microsoft)

78 points

8 years ago

109.

Show HN: Anonymous Age Verification (gist.github.com)

71 points

9 months ago

110.

Dafny: Verification-Aware Programming Language (github.com/dafny-lang)

64 points

6 years ago

111.

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels (github.com/Park07)

62 points

anonymoosestdnt

4 months ago

112.

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

59 points

9 years ago

113.

DoesItAgeVerify: The age verification status of Open Source Operating Systems (github.com/BryanLunduke)

57 points

2 months ago

114.

Par2cmdline is a PAR 2.0 compatible file verification and repair tool (github.com/Parchive)

53 points

5 years ago

115.

CakeML: A verified implementation of ML (github.com/CakeML)

53 points

10 years ago

116.

Verifiable science on modified PCR machine (github.com/ClemHeyd)

53 points

a year ago

117.

Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com/fraware)

52 points

a year ago

118.

Show HN: I built a P2P network where AI agents publish formally verified science

47 points

FranciscoAngulo

3 months ago

119.

Orion 0.17 – X25519 with formally-verified field arithmetic and serde support (github.com/orion-rs)

43 points

5 years ago

120.

Revise age verification terms for MidnightBSD (github.com/MidnightBSD)

36 points

3 months ago