Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Veryfi Go SDK for extracting receipts in real-time

5 points

5 years ago

2.

Show HN: Extract Documents into Data in Seconds Using Golang Veryfi SDK (github.com/veryfi)

2 points

5 years ago

3.

Show HN: I built a proxy to bypass adblock for OneSignal and Google Tag Manager

3 points

a year ago

4.

Show HN: Auth intermediary that cannot authorize. By design (github.com/sbw70)

2 points

3 months ago

5.

Aletheia – deterministic COBOL verification for mainframe migrations (github.com/Aletheia-Verification)

5 points

2 months ago

6.

Show HN: An open-source, RL-native observability framework we've been missing (github.com/kaushikb11)

3 points

8 months ago

7.

Show HN: Small GO library for verify async function response (github.com/PxyUp)

3 points

4 years ago

8.

Show HN: An open-source, RL-native observability framework we've been missing (github.com/kaushikb11)

2 points

8 months ago

9.

The worst CMS ever seen (github.com/BrainStormDevel)

1 point

10 years ago

10.

Show HN: One provider starts lying at request 50. The quorum catches it (github.com/sbw70)

1 point

3 months ago

11.

Verynix, any version of any Nix package in one command (github.com/mipmip)

1 point

a month ago

12.

Show HN: Verify Your Kubernetes (github.com/avkcode)

1 point

4 months ago

13.

Coinbase On-Chain KYC (github.com/coinbase)

1 point

3 years ago

14.

RNA-Sequencing Software on Kubernetes (github.com)

1 point

4 years ago

15.

Show HN: New library for verify function in Go with generic supports (pkg.go.dev)

1 point

4 years ago

16.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf] (github.com/runtimeverification)

1 point

4 years ago

17.

Show HN: Go – Verifier, embeddable mobile/email verification (github.com/bnkamalesh)

1 point

7 years ago

18.

Ner-D: Python Module for Named Entity Recognition (github.com/verifid)

1 point

7 years ago

19.

Show HN: LLM Verified with Monte Carlo Tree Search (github.com/namin)

102 points

3 years ago

20.

Show HN: Self Sovereign Verification – don’t pay for verified (github.com/arxskycom)

4 points

3 years ago

21.

Ask HN: What's the Deal with Lineageosroms.com?

3 points

4 years ago

22.

Email verification protocol (github.com/WICG)

214 points

7 months ago

23.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette)

177 points

6 years ago

24.

We've Created SMS Number Verifier – Free Disposable SMS Numbers – Tor Supported (github.com/upmasked)

7 points

6 years ago

25.

Show HN: I built an integration for RL training of browser agents for everyone (github.com/PrimeIntellect-ai)

7 points

2 months ago

26.

Show HN: Email Verifier Written in Go (github.com/hsnice16)

5 points

2 years ago

27.

The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette)

4 points

6 years ago

28.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)

3 points

5 months ago

29.

Show HN: 97% on SWE-bench Verified with subscription-token agents (github.com/kimjune01)

2 points

11 days ago

30.

AutoRocq: Agentic Theorem Prover for Verification (github.com/NUS-Program-Verification)

2 points

2 months ago