Search: github.com/checkr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Apalache: Symbolic model checker for TLA+ and Quint

github.com/apalache-mc

a month ago

3 points

962.

Agent Readiness Scanner – Check if a repo is ready for coding agents

github.com/chevy155

a month ago

3 points

963.

Show HN: Check for CVE-2026-31431 (copy.fail) without overwriting su

github.com/bddap

a month ago

3 points

964.

Show HN: Sigma Guard – deterministic contradiction checks for graph memory

2 months ago

3 points

965.

LLM generated parsers and compliance checkers for Sparrow DSL

2 months ago

3 points

966.

Check username availability on many services simultaneously. (Shell and Node.js)

14 years ago

3 points

967.

Check domain availability without leaving your shell...

gist.github.com

17 years ago

3 points

968.

Show HN: u there? Let Claude Code check if you're at your computer

github.com/odfalik

3 months ago

3 points

969.

CCheckpoints: A checkpoint system for Claude Code CLI sessions

github.com/p32929

3 months ago

3 points

970.

Show HN: A TUI for checking and comparing cloud and AI pricing

github.com/OverloadBlitz

3 months ago

3 points

971.

Show HN: Namera – Domain, trademark, and social handle checks from one CLI

github.com/siddmax

3 months ago

3 points

972.

Show HN: license checker for npm projects

github.com/Chrilleweb

4 months ago

3 points

973.

Show HN: A Rust compiler with ownership checking, written in PHP

github.com/mrconter1

4 months ago

3 points

974.

Simple CUDA-checkpoint wrapper to freeze and restore GPU processes quickly

github.com/shayonj

4 months ago

3 points

975.

Show HN: Diesel-guard v0.5.0 – Lint Diesel/SQLx Postgres migrations (24 checks)

github.com/ayarotsky

5 months ago

3 points

976.

I made a tiny macOS CLI to instantly check and remove quarantine flags (OSS)

github.com/jurek-zsl

8 months ago

3 points

977.

Tuckr – Stow alternative with symlink checking

github.com/RaphGL

8 months ago

3 points

978.

Show HN: Kexa – lightweight cross-cloud rules engine for infra checks

8 months ago

3 points

979.

Pompelmi – RFI-safe uploads for Node.js with ZIP inspection, MIME/size checks

github.com/pompelmi

10 months ago

3 points

980.

Pure: A static analysis file format checker for Zip files

github.com/ronomon

10 months ago

3 points

981.

The truth about original Oberon compiler performance: A reality check

github.com/rochus-keller

a year ago

3 points

982.

Pattern matching and exhaustiveness checking algorithms implemented in Rust

github.com/yorickpeterse

a year ago

3 points

983.

Git Based Undo/Checkpoint in Claude Code

gist.github.com

a year ago

3 points

984.

Pyrefly – A fast type checker and IDE for Python

github.com/facebook

a year ago

3 points

985.

Pyrefly – A fast type checker and IDE for Python

github.com/facebook

a year ago

3 points

986.

Show HN: SimilarCLI – CLI for checking website traffic

github.com/matisiekpl

a year ago

3 points

987.

Show HN: Check Out Our New Open-Source Project: GroupTrack

github.com/canopas

2 years ago

3 points

988.

Jet.jl: static type checker with type inference for Julia

github.com/aviatesk

2 years ago

3 points

989.

Git helpers to checkout collaborator branches from the main or forked repos

gist.github.com

2 years ago

3 points

990.

Show HN: AI spelling and grammar checker for docs

github.com/AgentOps-AI

2 years ago

3 points