Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Dafny – A programming language with a program verifier

github.com/Microsoft

9 years ago

165 points

92.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

93.

Verus: Verified Rust for low-level systems code

github.com/secure-foundations

a year ago

158 points

94.

Show HN: Phone verification at no cost

github.com/natsu90

10 years ago

147 points

95.

Show HN: Add license key verification to your apps

github.com/furkansenharputlu

6 years ago

131 points

96.

Attempting (Failed) Verification of the Wright Signature

github.com/patio11

10 years ago

118 points

97.

Store birth date in systemd for age verification

github.com/systemd

3 months ago

116 points

98.

Dafny is a verification-aware programming language

github.com/dafny-lang

2 years ago

107 points

99.

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

3 months ago

99 points

100.

Cryptographically verifiable code review system for cargo Rust package manager

github.com/crev-dev

5 years ago

95 points

101.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

github.com/neelsomani

8 months ago

94 points

102.

Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification

github.com/JGiraldo29

2 years ago

82 points

103.

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

a year ago

patrick4urcloud

81 points

104.

Dafny: verification-aware programming language

github.com/Microsoft

8 years ago

78 points

105.

Show HN: Anonymous Age Verification

gist.github.com

10 months ago

71 points

106.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

107.

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

github.com/Park07

4 months ago

anonymoosestdnt

62 points

108.

Show HN: Using 3D Convolutional Neural Networks for Speaker Verification

github.com/astorfi

9 years ago

59 points

109.

DoesItAgeVerify: The age verification status of Open Source Operating Systems

github.com/BryanLunduke

3 months ago

57 points

110.

Par2cmdline is a PAR 2.0 compatible file verification and repair tool

github.com/Parchive

5 years ago

53 points

111.

CakeML: A verified implementation of ML

github.com/CakeML

10 years ago

53 points

112.

Verifiable science on modified PCR machine

github.com/ClemHeyd

a year ago

53 points

113.

Show HN: Formal Verification for Machine Learning Models Using Lean 4

github.com/fraware

a year ago

52 points

114.

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

3 months ago

FranciscoAngulo

47 points

115.

Orion 0.17 – X25519 with formally-verified field arithmetic and serde support

github.com/orion-rs

5 years ago

43 points

116.

Revise age verification terms for MidnightBSD

github.com/MidnightBSD

3 months ago

36 points

117.

L1c: A conceptually simple formally verified compiler

github.com/j-baker

11 years ago

33 points

118.

Show HN: Mini_printf – minimal, self-contained and verified printf()

github.com/wkoszek

11 years ago

22 points

119.

A Haskell program to illustrate the state verification problem in economics

github.com/jmoy

11 years ago

21 points

120.

MyHDL: Using Python as a hardware description and verification language

github.com/myhdl

5 years ago

20 points