Search: github.com/checkly | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

Cap'n'Proto remote vuln: pointer overflow check optimized away by compiler

github.com/sandstorm-io

9 years ago

157 points

752.

Pyright: Static Type Checker for Python

github.com/microsoft

3 years ago

152 points

753.

EPUBCheck – The official conformance checker for ePub publications

2 years ago

146 points

754.

Jet.jl: A WIP compile time type checker for Julia

github.com/aviatesk

5 years ago

146 points

755.

Unchecked Java: Say goodbye to checked exceptions

github.com/rogerkeays

3 years ago

143 points

756.

Rust--: Rust without the borrow checker

github.com/buyukakyuz

6 months ago

139 points

757.

Stateright: A model checker for implementing distributed systems

github.com/stateright

5 years ago

yagizdegirmenci

133 points

758.

Proposal: A built-in Go error check function, try

github.com/golang

7 years ago

131 points

759.

GitHub Actions checkspelling community workflow GitHub_TOKEN leakage via symlink

github.com/justinsteven

5 years ago

129 points

760.

Google Kubernetes clusters config checker tool

github.com/google

4 years ago

127 points

761.

Rusty.hpp: A Borrow Checker and Memory Ownership System for C++20

github.com/Jaysmito101

2 years ago

124 points

762.

Beartype: Fast runtime type checking in Python

github.com/beartype

5 years ago

117 points

763.

Show HN: Ruby static type checker – proof of concept

github.com/stereobooster

9 years ago

115 points

764.

Show HN: Ezno, a TypeScript checker written in Rust, is now open source

github.com/kaleidawave

3 years ago

113 points

765.

List of URLs checked by Twitter for its app targeting

gist.github.com

12 years ago

112 points

766.

Protected branches and required status checks

github.com/blog

11 years ago

109 points

767.

Go/types, the Go type checker: a tutorial

github.com/golang

11 years ago

107 points

768.

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

7 years ago

106 points

769.

A reminder that you should double-check the licenses for software you use

github.com/katharostech

5 years ago

104 points

770.

Golang Security Checker

github.com/securego

5 years ago

104 points

771.

Equal Access: Automated accessibility checker for web projects

github.com/IBMa

6 years ago

iovrthoughtthis

101 points

772.

Show HN: Kikked – check if any of your NPM repos is trademarked

github.com/parro-it

10 years ago

98 points

773.

Pure: A static analysis file format checker

github.com/ronomon

4 years ago

98 points

774.

Jezen/is-thirteen: Check if a number is equal to 13

github.com/jezen

10 years ago

97 points

775.

Eqwalizer: A Type-Checker for Erlang

github.com/WhatsApp

4 years ago

86 points

776.

C# 7 Proposal: Nullable reference types and nullability checking

github.com/dotnet

11 years ago

84 points

777.

Show HN: An AI program to check videos for NSFW content

github.com/dynamite-ready

4 years ago

83 points

778.

Elle: A transactional consistency checker for black-box databases

github.com/jepsen-io

5 years ago

82 points

779.

Chrome/Firefox aren't checking CA revocation lists

12 years ago

81 points

780.

Borrowchecker.jl – Designing a borrow checker for Julia

github.com/MilesCranmer

a year ago

77 points