Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

L1c: A conceptually simple formally verified compiler (github.com/j-baker)

33 points

11 years ago

122.

Show HN: Mini_printf – minimal, self-contained and verified printf() (github.com/wkoszek)

22 points

11 years ago

123.

A Haskell program to illustrate the state verification problem in economics (github.com/jmoy)

21 points

11 years ago

124.

MyHDL: Using Python as a hardware description and verification language (github.com/myhdl)

20 points

5 years ago

125.

Bao: A verified streaming tool based on BLAKE3 (github.com/oconnor663)

18 points

6 years ago

126.

FSM-Oracle – A formally verified Finite State Machine oracle (github.com/statebox)

18 points

6 years ago

127.

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

18 points

6 years ago

128.

Google Trillian: A Verifiable Data Structure Architecture for Large Merkle Trees (github.com/google)

17 points

8 years ago

129.

MetaGenesis Core – offline verification for computational claims (metagenesis-core.dev)

15 points

3 months ago

130.

Show HN: Agent Passport – OAuth-like identity verification for AI agents

14 points

3 months ago

131.

Show HN: Like Twitter, but Immutable, Verifiable and Decentralized (github.com/publiusfederalist)

14 points

4 years ago

132.

Show HN: Fully manual Let's Encrypt client with DNS verification (github.com/veeti)

12 points

10 years ago

133.

Show HN: Tiny Hoare logic verifier using SMT (github.com/namin)

12 points

a year ago

134.

A browser extension that shows Twitter blue vs. real verified users (github.com/wseagar)

12 points

4 years ago

135.

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

11 points

10 years ago

136.

Who Blue: a browser extension who paid for their Twitter verified mark (github.com/wesbos)

11 points

4 years ago

137.

Show HN: Sign tweets with SSH keys and let it be verified with your public keys (github.com/shabda)

11 points

6 years ago

138.

Show HN: Codex context bloat? 87% avg reduction on SWE-bench Verified traces (npmjs.com)

10 points

a month ago

139.

VerifAI – open-source generative search with verification (github.com/nikolamilosevic86)

10 points

nikolamilosevic

a year ago

140.

Decentral, Crypto-Secure, Anonymous, Verifiable Voting/Polling System (github.com/davejakenic)

9 points

4 years ago

141.

We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It (github.com/dkypuros)

9 points

10 months ago

142.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

143.

Verifiable Brute Force Strength (gist.github.com)

9 points

5 months ago

144.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com/deepseek-ai)

9 points

6 months ago

145.

Trumail – Free Email Address Verification API (github.com/sdwolfe32)

9 points

9 years ago

146.

Show HN: OQP – A verification protocol for AI agents (github.com/OranproAi)

8 points

2 months ago

147.

An Embedded DSL for Verifiable Computing (github.com/gstew5)

8 points

11 years ago

148.

Show HN: A formally verified native Delta Lake implementation in Rust (github.com/delta-io)

8 points

4 years ago

149.

QuorumOS: A minimal, deterministic OS for verifiable execution in TEEs (github.com/tkhq)

7 points

a year ago

150.

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

7 points

6 years ago