Search: github.com/checkr | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

961.

Show HN: A Rust compiler with ownership checking, written in PHP (github.com/mrconter1)

3 points

3 months ago

962.

Simple CUDA-checkpoint wrapper to freeze and restore GPU processes quickly (github.com/shayonj)

3 points

4 months ago

963.

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

3 points

5 months ago

964.

I made a tiny macOS CLI to instantly check and remove quarantine flags (OSS) (github.com/jurek-zsl)

3 points

7 months ago

965.

Tuckr – Stow alternative with symlink checking (github.com/RaphGL)

3 points

8 months ago

966.

Show HN: Kexa – lightweight cross-cloud rules engine for infra checks (kexa.io)

3 points

8 months ago

967.

Pompelmi – RFI-safe uploads for Node.js with ZIP inspection, MIME/size checks (github.com/pompelmi)

3 points

9 months ago

968.

Pure: A static analysis file format checker for Zip files (github.com/ronomon)

3 points

10 months ago

969.

The truth about original Oberon compiler performance: A reality check (github.com/rochus-keller)

3 points

10 months ago

970.

Pattern matching and exhaustiveness checking algorithms implemented in Rust (github.com/yorickpeterse)

3 points

a year ago

971.

Git Based Undo/Checkpoint in Claude Code (gist.github.com)

3 points

a year ago

972.

Pyrefly – A fast type checker and IDE for Python (github.com/facebook)

3 points

a year ago

973.

Pyrefly – A fast type checker and IDE for Python (github.com/facebook)

3 points

a year ago

974.

Show HN: SimilarCLI – CLI for checking website traffic (github.com/matisiekpl)

3 points

a year ago

975.

Show HN: Check Out Our New Open-Source Project: GroupTrack (github.com/canopas)

3 points

2 years ago

976.

Jet.jl: static type checker with type inference for Julia (github.com/aviatesk)

3 points

2 years ago

977.

Git helpers to checkout collaborator branches from the main or forked repos (gist.github.com)

3 points

2 years ago

978.

Show HN: AI spelling and grammar checker for docs (github.com/AgentOps-AI)

3 points

2 years ago

979.

Type witness in Rust examples – type check all the things (github.com/tinybeachthor)

3 points

2 years ago

980.

Beartype: The bare-metal type checker (github.com/beartype)

3 points

2 years ago

981.

Crik – checkpoint and restore in Kubernetes (CRIU) (github.com/qawolf)

3 points

2 years ago

982.

A collection of relevant RSS sources with an algorithm to check connectivity (github.com/Martinviv)

3 points

2 years ago

983.

Shac: A framework for writing and running static analysis checks (github.com/shac-project)

3 points

3 years ago

984.

Porcupine is a fast linearizability checker for distributed systems (github.com/anishathalye)

3 points

3 years ago

985.

Checking Causal Consistency the Easy Way (github.com/endpointservices)

3 points

3 years ago

986.

Ezno: A TypeScript checker written in Rust (github.com/kaleidawave)

3 points

3 years ago

987.

Flux is a refinement type checker for Rust (github.com/flux-rs)

3 points

3 years ago

988.

Type annotations and runtime checking for shape and dtype (github.com/google)

3 points

3 years ago

989.

TypeScript type checker written in Rust (github.com/dudykr)

3 points

4 years ago

990.

Speedy TypeScript Type Checker (github.com/dudykr)

3 points

4 years ago