HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
691.
▲
Jezen/is-thirteen: Check if a number is equal to 13
github.com/jezen
51 comments
10 years ago
joeyyang
97 points
692.
▲
Eqwalizer: A Type-Checker for Erlang
github.com/WhatsApp
11 comments
4 years ago
hasheddan
86 points
693.
▲
C# 7 Proposal: Nullable reference types and nullability checking
github.com/dotnet
73 comments
11 years ago
Permit
84 points
694.
▲
Show HN: An AI program to check videos for NSFW content
github.com/dynamite-ready
79 comments
4 years ago
dynamite-ready
83 points
695.
▲
Elle: A transactional consistency checker for black-box databases
github.com/jepsen-io
8 comments
5 years ago
wowi42
82 points
696.
▲
Chrome/Firefox aren't checking CA revocation lists
33 comments
12 years ago
fastest963
81 points
697.
▲
Borrowchecker.jl – Designing a borrow checker for Julia
github.com/MilesCranmer
14 comments
a year ago
darboux
77 points
698.
▲
GitHub “allows” unauthorized users “merging” PRs, bypass write permission check?
github.com/v6d-io
43 comments
4 years ago
sighingnow
76 points
699.
▲
Type-ish – A runtime type checker for bash, in bash
github.com/Mythra
18 comments
4 years ago
mgliwka
76 points
700.
▲
Show HN: A utility for running exhaustiveness checks on “sum types” in Go
github.com/BurntSushi
38 comments
9 years ago
burntsushi
75 points
701.
▲
Xdg-ninja: checking your $HOME for unwanted files and directories
github.com/b3nj5m1n
29 comments
a year ago
plushugh
74 points
702.
▲
Dano is a wrapper for FFmpeg that checksums the internal file streams
github.com/kimono-koans
14 comments
2 years ago
dither8
72 points
703.
▲
Mypy – static type checking for Python 3
github.com/JukkaL
29 comments
12 years ago
HerrMonnezza
70 points
704.
▲
Add heartbeat extension bounds check
github.com/openssl
29 comments
12 years ago
whadar
69 points
705.
▲
Show HN: Coinmon – Check Bitcoin Prices in Terminal
github.com/bichenkk
70 comments
9 years ago
bichenkk
68 points
706.
▲
Show HN: ES7 Decorator library adds types checking, memoization, and more to JS
github.com/mako-taco
38 comments
11 years ago
mako-taco
66 points
707.
▲
Porcupine: A fast linearizability checker written in Go
github.com/anishathalye
7 comments
8 years ago
cube2222
66 points
708.
▲
Thank HN: A customer found us on Hacker News and wrote our first angel check
github.com/nocodb
6 comments
5 years ago
rnavi
66 points
709.
▲
Forall.js: Idris-like static types and invariant checks for JavaScript
github.com/maiavictor
17 comments
9 years ago
LightMachine
63 points
710.
▲
Show HN: Step CI – open-source lightweight alternative to Pingdom and Checkly
github.com/stepci
14 comments
4 years ago
Wissmueller
63 points
711.
▲
Gradual type checking for Ruby
github.com/gogotanaka
42 comments
11 years ago
eduardordm
60 points
712.
▲
Checklist for Web Components
github.com/webcomponents
7 comments
11 years ago
rinesh
57 points
713.
▲
Show HN: Holos – QEMU/KVM with a compose-style YAML, GPUs and health checks
github.com/zeroecco
23 comments
2 months ago
zeroecco
56 points
714.
▲
Turn boring HTML checkboxes into iPhone toggle switches
jqr.github.com
23 comments
17 years ago
jqr
54 points
715.
▲
Show HN: Check your Safari history for sites using Cloudflare
gist.github.com
8 comments
9 years ago
zweizeichen
54 points
716.
▲
An NPM package to check if a number is equal to 13
github.com/jezen
14 comments
8 years ago
dawkins
53 points
717.
▲
Show HN: Flexible C memory allocation scheme with leak checking
github.com/mulle-nat
20 comments
10 years ago
mulle_nat
52 points
718.
▲
Show HN: AWS-doctor – A terminal-based AWS health check and cost optimizer in Go
github.com/elC0mpa
21 comments
5 months ago
elC0mpa
51 points
719.
▲
Show HN: DidMySettingsChange – A tool that checks changed windows settings
github.com/nolesapex
14 comments
9 months ago
nolesapex
51 points
720.
▲
A rubygem for natural spelling and grammar checking
github.com/subosito
17 comments
13 years ago
subosito
50 points
More