Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Bao: A verified streaming tool based on BLAKE3

github.com/oconnor663

6 years ago

18 points

122.

FSM-Oracle – A formally verified Finite State Machine oracle

github.com/statebox

6 years ago

18 points

123.

Show HN: Add license key verification to your apps

github.com/furkansenharputlu

6 years ago

18 points

124.

Google Trillian: A Verifiable Data Structure Architecture for Large Merkle Trees

github.com/google

8 years ago

17 points

125.

MetaGenesis Core – offline verification for computational claims

metagenesis-core.dev

3 months ago

15 points

126.

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

4 months ago

14 points

127.

Show HN: Like Twitter, but Immutable, Verifiable and Decentralized

github.com/publiusfederalist

4 years ago

14 points

128.

Show HN: Fully manual Let's Encrypt client with DNS verification

github.com/veeti

10 years ago

12 points

129.

Show HN: Tiny Hoare logic verifier using SMT

github.com/namin

a year ago

12 points

130.

A browser extension that shows Twitter blue vs. real verified users

github.com/wseagar

4 years ago

12 points

131.

Dafny: a verification-aware programming language

github.com/Microsoft

10 years ago

11 points

132.

Who Blue: a browser extension who paid for their Twitter verified mark

github.com/wesbos

4 years ago

11 points

133.

Show HN: Sign tweets with SSH keys and let it be verified with your public keys

github.com/shabda

6 years ago

11 points

134.

Show HN: Codex context bloat? 87% avg reduction on SWE-bench Verified traces

2 months ago

10 points

135.

VerifAI – open-source generative search with verification

github.com/nikolamilosevic86

a year ago

nikolamilosevic

10 points

136.

Decentral, Crypto-Secure, Anonymous, Verifiable Voting/Polling System

github.com/davejakenic

4 years ago

9 points

137.

We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It

github.com/dkypuros

a year ago

9 points

138.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com/sethirus

5 months ago

9 points

139.

Verifiable Brute Force Strength

gist.github.com

6 months ago

9 points

140.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

github.com/deepseek-ai

7 months ago

9 points

141.

Trumail – Free Email Address Verification API

github.com/sdwolfe32

9 years ago

9 points

142.

Show HN: OQP – A verification protocol for AI agents

github.com/OranproAi

2 months ago

8 points

143.

An Embedded DSL for Verifiable Computing

github.com/gstew5

11 years ago

8 points

144.

Show HN: A formally verified native Delta Lake implementation in Rust

github.com/delta-io

4 years ago

8 points

145.

QuorumOS: A minimal, deterministic OS for verifiable execution in TEEs

github.com/tkhq

a year ago

7 points

146.

Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model

github.com/SpecStudio-net

21 days ago

7 points

147.

Show HN: Add license key verification to your apps

github.com/furkansenharputlu

6 years ago

7 points

148.

Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes

github.com/TiruArt

18 days ago

6 points

149.

Show HN: I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust

github.com/Dyslex7c

2 years ago

6 points

150.

FStar: An ML-like language with a type system for program verification

github.com/nikswamy

12 years ago

6 points