Search: github.com/chec | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Cap'n'Proto remote vuln: pointer overflow check optimized away by compiler (github.com/sandstorm-io)

157 points

9 years ago

662.

Pyright: Static Type Checker for Python (github.com/microsoft)

152 points

3 years ago

663.

EPUBCheck – The official conformance checker for ePub publications (github.com/w3c)

146 points

2 years ago

664.

Jet.jl: A WIP compile time type checker for Julia (github.com/aviatesk)

146 points

5 years ago

665.

Unchecked Java: Say goodbye to checked exceptions (github.com/rogerkeays)

143 points

3 years ago

666.

Rust--: Rust without the borrow checker (github.com/buyukakyuz)

139 points

5 months ago

667.

Stateright: A model checker for implementing distributed systems (github.com/stateright)

133 points

yagizdegirmenci

5 years ago

668.

Proposal: A built-in Go error check function, try (github.com/golang)

131 points

7 years ago

669.

GitHub Actions checkspelling community workflow GitHub_TOKEN leakage via symlink (github.com/justinsteven)

129 points

5 years ago

670.

Google Kubernetes clusters config checker tool (github.com/google)

127 points

4 years ago

671.

Rusty.hpp: A Borrow Checker and Memory Ownership System for C++20 (github.com/Jaysmito101)

124 points

2 years ago

672.

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

117 points

5 years ago

673.

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

115 points

9 years ago

674.

Show HN: Ezno, a TypeScript checker written in Rust, is now open source (github.com/kaleidawave)

113 points

3 years ago

675.

List of URLs checked by Twitter for its app targeting (gist.github.com)

112 points

12 years ago

676.

Protected branches and required status checks (github.com/blog)

109 points

11 years ago

677.

Go/types, the Go type checker: a tutorial (github.com/golang)

107 points

10 years ago

678.

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

106 points

7 years ago

679.

A reminder that you should double-check the licenses for software you use (github.com/katharostech)

104 points

5 years ago

680.

Golang Security Checker (github.com/securego)

104 points

5 years ago

681.

Equal Access: Automated accessibility checker for web projects (github.com/IBMa)

101 points

iovrthoughtthis

6 years ago

682.

Show HN: Kikked – check if any of your NPM repos is trademarked (github.com/parro-it)

98 points

10 years ago

683.

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

98 points

4 years ago

684.

Jezen/is-thirteen: Check if a number is equal to 13 (github.com/jezen)

97 points

10 years ago

685.

Eqwalizer: A Type-Checker for Erlang (github.com/WhatsApp)

86 points

4 years ago

686.

C# 7 Proposal: Nullable reference types and nullability checking (github.com/dotnet)

84 points

11 years ago

687.

Show HN: An AI program to check videos for NSFW content (github.com/dynamite-ready)

83 points

4 years ago

688.

Elle: A transactional consistency checker for black-box databases (github.com/jepsen-io)

82 points

5 years ago

689.

Chrome/Firefox aren't checking CA revocation lists

81 points

12 years ago

690.

Borrowchecker.jl – Designing a borrow checker for Julia (github.com/MilesCranmer)

77 points

a year ago