Search: github.com/chec | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Paranoid project by Google Security Team checks for cryptography weaknesses (github.com/google)

3 points

4 years ago

932.

Rust-based TypeScript type-checker project leader threatens paid solution (github.com/swc-project)

3 points

throwaway743950

4 years ago

933.

Beartype: Unbearably fast runtime type checking in Python (github.com/beartype)

3 points

5 years ago

934.

BorrowScript spec – Combining the Rust borrow checker with TypeScript syntax (github.com/alshdavid)

3 points

5 years ago

935.

Testssl.sh is a free command line tool which checks a server's TLS/SSL ciphers (github.com/drwetter)

3 points

5 years ago

936.

Show HN: Ruby static type checker – proof of concept (github.com/stereobooster)

3 points

9 years ago

937.

Shrimpit – CLI analysis tool for checking unused JavaScript, JSX and Vue exports (github.com/yamafaktory)

3 points

9 years ago

938.

Offline Spell Checker for Visual Studio Code (github.com/swyphcosmo)

3 points

10 years ago

939.

Checkout my latest dotfiles for web development for OS X machine (github.com/gokulkrishh)

3 points

11 years ago

940.

Cig – Check the state of all your Git repos (github.com/stevenjack)

3 points

11 years ago

941.

Show HN: Swang – a clang-based tool to check C++ identifiers naming style (github.com/berenm)

3 points

12 years ago

942.

Kuran: A Java library for loading type-checked configuration files (github.com/wtetzner)

3 points

12 years ago

943.

A Haskell program to check the vezin (prosody) of Ottoman Divan poetry (github.com/joom)

3 points

12 years ago

944.

Naive Grammar Checker for Sublime Text (github.com/duereg)

3 points

12 years ago

945.

Tell HN: Crypto coin exchange Coinex.pw most likely hacked, check your coins

3 points

12 years ago

946.

JavaScript Code Style checker (github.com/mdevils)

3 points

12 years ago

947.

Human Readable Emoji Checksums (github.com/mindsnacks)

3 points

13 years ago

948.

Learning Meteor? Check out the MIT licensed source for my latest project. (github.com/properapp)

3 points

13 years ago

949.

Types.js: Faster Type Checking with JavaScript (github.com/ChrisAntaki)

3 points

13 years ago

950.

Open-source AWS security audit – the 30-point checklist I run on client accounts (github.com/davidgomezbravo)

3 points

4 days ago

951.

Show HN: CPU-only fact-check, summarize, explain, translate anything (github.com/kouhxp)

3 points

12 days ago

952.

Show HN: CPU-only fact-check, summarize, explain, translate anything (github.com/kouhxp)

3 points

13 days ago

953.

Show HN: AI readiness toolkit: AI two-minute CODE maturity check (github.com/bjcoombs)

3 points

24 days ago

954.

Apalache: Symbolic model checker for TLA+ and Quint (github.com/apalache-mc)

3 points

24 days ago

955.

Agent Readiness Scanner – Check if a repo is ready for coding agents (github.com/chevy155)

3 points

25 days ago

956.

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

3 points

a month ago

957.

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

3 points

a month ago

958.

LLM generated parsers and compliance checkers for Sparrow DSL

3 points

a month ago

959.

Check username availability on many services simultaneously. (Shell and Node.js) (github.com/tcr)

3 points

14 years ago

960.

Check domain availability without leaving your shell... (gist.github.com)

3 points

17 years ago