Search: github.com/corretto | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Porcupine: Fast linearizability checker to test distributed system correctness (github.com/anishathalye)

3 points

4 years ago

92.

Signal Repository, Pull Request #124, Corrects Docs (github.com/signalapp)

3 points

5 years ago

93.

Dutch corona app does not work correctly because of manufacturers' app killers (github.com/minvws)

3 points

6 years ago

94.

What is the correct pronunciation of Kubernetes in English? (github.com/kubernetes)

3 points

7 years ago

95.

Show HN: JavaScript multiple inheritance with correct instanceof (gist.github.com)

3 points

10 years ago

96.

Am I structuring my React application correctly? (github.com/pegabyte)

3 points

10 years ago

97.

Some guidelines to writing correct C functions (github.com/Mathieu-Desrochers)

3 points

11 years ago

98.

Show HN: Shikimo - colour-blindness image correction (ruby/carrierwave) (github.com/kenhub)

2 points

13 years ago

99.

Show HN: Typopo – auto-correct frequent typos (github.com/surfinzap)

2 points

10 years ago

100.

orjson: Fast, correct Python JSON lib supporting dataclasses, datetimes, NumPy (github.com/ijl)

2 points

2 years ago

101.

Iced – fast and correct x86/x64 disassembler, assembler, decoder, encoder (github.com/icedland)

2 points

peter_d_sherman

3 years ago

102.

A tiny toy compiler proven correct in Idris (github.com/mbrodersen)

2 points

8 years ago

103.

AngularJS library to correctly handle JWTs (github.com/auth0)

2 points

12 years ago

104.

A (WIP) "correct" implementation of regular expressions in Python using FSAs (github.com/cyphar)

2 points

12 years ago

105.

Generate syntactically correct nonsense programs in Python (github.com/gregsabo)

2 points

12 years ago

106.

Ask HN: Am I using C++11 atomic release-consume ordering correctly?

2 points

13 years ago

107.

Show HN: A Pi Harness for Color Correcting Multi-Clip Footage (github.com/perbhat)

2 points

3 months ago

108.

Yes, you read correctly, it's TDD for SCSS. (github.com/d-i)

2 points

14 years ago

109.

Show HN: DBMS OLTP written in Rust – prioritises clarity and correctness (github.com/OxidizeLabs)

2 points

5 months ago

110.

Yet antoher RAG – for code generation with impressive correctness (github.com/rodmena-limited)

2 points

6 months ago

111.

Software suite for automated generation of geographically correct transit maps (github.com/ad-freiburg)

2 points

a year ago

112.

Correct application of the Lanczos filter in 2D (github.com/pixelflinger)

2 points

a year ago

113.

Show HN: Alarm where you need to find the correct snooze button (github.com/Pankajtanwarbanna)

2 points

a year ago

114.

Splitting Words Correctly in C# (github.com/clipperhouse)

2 points

2 years ago

115.

Proving leftpad correct two-dozen different ways (github.com/hwayne)

2 points

2 years ago

116.

FuzzTypes: Pydantic Library for Auto-Correcting Annotation Types (github.com/genomoncology)

2 points

2 years ago

117.

Codebook – Guaranteed Correct Code Snippets (github.com/NicholasLYang)

2 points

2 years ago

118.

Fix-PAL: Slow down an MKV movie to correct for PAL speedup (github.com/agentspooky)

2 points

4 years ago

119.

Wrk2: A constant throughput, correct latency recording variant of wrk (github.com/giltene)

2 points

4 years ago

120.

TheFuck: Magnificent app which corrects your previous console command (github.com/nvbn)

2 points

4 years ago