Search: github.com/checkr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Playing Sudoku in TypeScript while the type checker highlights mistakes

github.com/gruhn

2 years ago

229 points

662.

Pyright: Static type checker for Python

github.com/Microsoft

7 years ago

214 points

663.

Todo-or-die – Provides procedural macros that act as checked reminders

github.com/davidpdrsn

5 years ago

214 points

664.

A plain-text file format for todos and check lists

github.com/jotaen

4 years ago

207 points

665.

Fast website link checker in Go

github.com/raviqqe

8 years ago

190 points

666.

ZA̡͊͠͝LGΌ causes "Invalid MD5 checksum on messages"

5 years ago

178 points

667.

Checkout github pull requests locally

gist.github.com

13 years ago

178 points

668.

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

github.com/sandstorm-io

9 years ago

157 points

669.

Pyright: Static Type Checker for Python

github.com/microsoft

3 years ago

152 points

670.

EPUBCheck – The official conformance checker for ePub publications

2 years ago

146 points

671.

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

github.com/aviatesk

5 years ago

146 points

672.

Unchecked Java: Say goodbye to checked exceptions

github.com/rogerkeays

3 years ago

143 points

673.

Rust--: Rust without the borrow checker

github.com/buyukakyuz

6 months ago

139 points

674.

Stateright: A model checker for implementing distributed systems

github.com/stateright

5 years ago

yagizdegirmenci

133 points

675.

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

github.com/golang

7 years ago

131 points

676.

GitHub Actions checkspelling community workflow GitHub_TOKEN leakage via symlink

github.com/justinsteven

5 years ago

129 points

677.

Google Kubernetes clusters config checker tool

github.com/google

4 years ago

127 points

678.

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

github.com/Jaysmito101

2 years ago

124 points

679.

Beartype: Fast runtime type checking in Python

github.com/beartype

5 years ago

117 points

680.

Show HN: Ruby static type checker – proof of concept

github.com/stereobooster

9 years ago

115 points

681.

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

github.com/kaleidawave

3 years ago

113 points

682.

List of URLs checked by Twitter for its app targeting

gist.github.com

12 years ago

112 points

683.

Protected branches and required status checks

github.com/blog

11 years ago

109 points

684.

Go/types, the Go type checker: a tutorial

github.com/golang

11 years ago

107 points

685.

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

7 years ago

106 points

686.

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

github.com/katharostech

5 years ago

104 points

687.

Golang Security Checker

github.com/securego

5 years ago

104 points

688.

Equal Access: Automated accessibility checker for web projects

github.com/IBMa

6 years ago

iovrthoughtthis

101 points

689.

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

github.com/parro-it

10 years ago

98 points

690.

Pure: A static analysis file format checker

github.com/ronomon

4 years ago

98 points