Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

A library for checking JAVA class fields regarding data validation&verification

github.com/burakim

8 years ago

1 points

452.

A very simple example of verification in Idris

gist.github.com

8 years ago

1 points

453.

Show HN: go-lcns: a license key generation and verification library for Go

github.com/adtac

8 years ago

1 points

454.

Container Security Verification Standard

github.com/Redguard

8 years ago

1 points

455.

CSRF verification php middleware

github.com/zakirullin

8 years ago

1 points

456.

Show HN: TypeScript type-safe RPC with automatic payload shape verification

github.com/sb-js

8 years ago

1 points

457.

Verify that a request is from Google crawlers using Google's DNS verification

github.com/roccomuso

8 years ago

1 points

458.

Rosette is a solver-aided language for program synthesis and verification

github.com/emina

8 years ago

1 points

459.

Nuclear warhead verification with an Apple II

github.com/nuclearfutureslab

8 years ago

1 points

460.

Spinner: Semi-Automatic Detection of Pinning Without Hostname Verification

github.com/ChrisMcMStone

9 years ago

1 points

461.

Top GitHub Trending for Go – Free Email Verification API

github.com/sdwolfe32

9 years ago

1 points

462.

Trumail – A Free Email Verification API Written in Go

github.com/sdwolfe32

9 years ago

1 points

463.

Simplifying Log verification

github.com/spandhar

9 years ago

1 points

464.

Show HN: Script to install recent python versions. Verified on .deb based OSs

gist.github.com

9 years ago

1 points

465.

ProofMode: Verified Visuals (A CameraV-Inspired Micro App)

github.com/guardianproject

9 years ago

1 points

466.

Formal verification for re-entrant Solidity contracts

gist.github.com

10 years ago

1 points

467.

Dafny -a verification-aware programming language from Microsoft

github.com/Microsoft

10 years ago

1 points

468.

The list of all the VIP (Very Important People) verified accounts

github.com/RickyGeek

10 years ago

1 points

469.

Certifi-2015.9.6.1 and 2015.9.6.2 fail verification

github.com/certifi

11 years ago

1 points

470.

Postgres Language Server

github.com/supabase

3 years ago

963 points

471.

Show HN: Answer Overflow – Indexing Discord content into the web

answeroverflow.com

3 years ago

333 points

472.

OpenTSLM: Language models that understand time series

9 months ago

280 points

473.

Show HN: Keypub.sh – OAuth for the terminal using SSH keys

2 years ago

222 points

474.

Show HN: Drive any macOS app in the background without stealing the cursor

github.com/trycua

2 months ago

192 points

475.

Show HN: OneCLI – Vault for AI Agents in Rust

github.com/onecli

3 months ago

161 points

476.

Launch HN: Infra (YC W21) – Open-source access management for Kubernetes

github.com/infrahq

4 years ago

159 points

477.

Show HN: Dharma – Programmable Peer-To-Peer Loans Using Ethereum Smart Contracts

9 years ago

156 points

478.

Launch HN: Chonkie (YC X25) – Open-Source Library for Advanced Chunking

a year ago

151 points

479.

Show HN: rallyup – Lightweight Wake-on-LAN Scheduler

github.com/darwindarak

2 years ago

141 points

480.

Show HN: Open-source Deep Research across workplace applications

github.com/onyx-dot-app

a year ago

125 points