Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

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

github.com/sb-js

8 years ago

1 points

452.

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

github.com/roccomuso

8 years ago

1 points

453.

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

github.com/emina

8 years ago

1 points

454.

Nuclear warhead verification with an Apple II

github.com/nuclearfutureslab

8 years ago

1 points

455.

Spinner: Semi-Automatic Detection of Pinning Without Hostname Verification

github.com/ChrisMcMStone

9 years ago

1 points

456.

Top GitHub Trending for Go – Free Email Verification API

github.com/sdwolfe32

9 years ago

1 points

457.

Trumail – A Free Email Verification API Written in Go

github.com/sdwolfe32

9 years ago

1 points

458.

Simplifying Log verification

github.com/spandhar

9 years ago

1 points

459.

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

gist.github.com

9 years ago

1 points

460.

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

github.com/guardianproject

9 years ago

1 points

461.

Formal verification for re-entrant Solidity contracts

gist.github.com

10 years ago

1 points

462.

Dafny -a verification-aware programming language from Microsoft

github.com/Microsoft

10 years ago

1 points

463.

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

github.com/RickyGeek

10 years ago

1 points

464.

Certifi-2015.9.6.1 and 2015.9.6.2 fail verification

github.com/certifi

11 years ago

1 points

465.

Postgres Language Server

github.com/supabase

3 years ago

963 points

466.

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

answeroverflow.com

3 years ago

333 points

467.

OpenTSLM: Language models that understand time series

9 months ago

280 points

468.

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

2 years ago

222 points

469.

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

github.com/trycua

2 months ago

192 points

470.

Show HN: OneCLI – Vault for AI Agents in Rust

github.com/onecli

3 months ago

161 points

471.

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

github.com/infrahq

4 years ago

159 points

472.

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

9 years ago

156 points

473.

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

a year ago

151 points

474.

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

github.com/darwindarak

2 years ago

141 points

475.

Show HN: Open-source Deep Research across workplace applications

github.com/onyx-dot-app

a year ago

125 points

476.

Show HN: Terminal-Bench-RL: Training long-horizon terminal agents with RL

github.com/Danau5tin

a year ago

125 points

477.

Show HN: A nibble-oriented CPU in Verilog to build a scientific calculator

github.com/gdevic

a month ago

119 points

478.

Show HN: Agent framework that generates its own topology and evolves at runtime

github.com/adenhq

4 months ago

107 points

479.

Launch HN: Berbix (YC S18) – Instant ID checks to fight fraud and stay compliant

7 years ago

106 points

480.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

6 days ago

106 points