Search: github.com/qorrect | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Gutenberg – Modern CSS framework to print the web correctly (github.com/BafS)

305 points

9 years ago

32.

The Fuck – An app which corrects your previous console command (github.com/nvbn)

287 points

9 years ago

33.

Show HN: A pure WebGL image editor with filters, crop and perspective correction (github.com/xdadda)

243 points

a year ago

34.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

35.

SymSpell: 1M times faster spelling correction (github.com/wolfgarbe)

203 points

4 years ago

36.

Fix Boyer-Moore searcher with the Rytter correction (github.com/microsoft)

193 points

6 years ago

37.

Prove Raft Correct (github.com/uwplse)

173 points

11 years ago

38.

Show HN: UUIDs that are Shakespearean, grammatically correct sentences (github.com/Debdut)

154 points

6 years ago

39.

Tink – Cryptographic APIs that are secure, easy to use correctly (github.com/google)

153 points

6 years ago

40.

Autotone – A vocal pitch correction web application, like Autotune (github.com/alexcrist)

113 points

3 years ago

41.

Thefuck – Corrects your previous console command (github.com/nvbn)

112 points

8 years ago

42.

Koan: A word2vec negative sampling implementation with correct CBOW update (github.com/bloomberg)

88 points

5 years ago

43.

Synthesizing Correct-by-Construction Code for Cryptographic Primitives (github.com/mit-plv)

78 points

5 years ago

44.

Show HN: Claude Reflect – Auto-turn Claude corrections into project config (github.com/BayramAnnakov)

75 points

5 months ago

45.

Show HN: BetterOCR combines and corrects multiple OCR engines with an LLM (github.com/junhoyeo)

63 points

3 years ago

46.

Show HN: Perspec – Scriptable desktop app to correct the perspective of images (github.com/feramhq)

59 points

4 years ago

47.

Latest Kitty terminal release features SRGB correct linear gamma blending (github.com/kovidgoyal)

56 points

3 years ago

48.

Show HN: Using LLama2 to Correct OCR Errors (github.com/Dicklesworthstone)

54 points

3 years ago

49.

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

42 points

4 years ago

50.

Batfish: OSS network configuration static analysis, find bugs, test correctness (github.com/batfish)

39 points

2 years ago

51.

I wrote a script to automatically apply Grammarly corrections (github.com/isneuu)

35 points

4 years ago

52.

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

22 points

12 years ago

53.

Ask HN: How to implement Telemetry for an Open Source project correctly?

9 points

6 years ago

54.

Show HN: Posture Correction Using AirPods Motion Sensors (github.com/wizenheimer)

8 points

a year ago

55.

Show HN: Lemmafit: Make agents prove that their code is correct (github.com/midspiral)

7 points

3 months ago

56.

Gimp Material Color palette with the correct colors (github.com/KiSSFLOW)

6 points

11 years ago

57.

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com/msv-lab)

6 points

a year ago

58.

Gem utility to automagically rename TV show files to a correct format (github.com/fklingler)

5 points

13 years ago

59.

Show HN: Fast, correct API-view Vim folding for Python, written in Cython (github.com/abarker)

5 points

4 years ago

60.

Show HN: mediaquery – Turns human readable breakpoints into correct mediaqueries (github.com/axyz)

5 points

11 years ago