Search: github.com/qorrect | Heykuki News

HK

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

9 years ago

305 points

32.

The Fuck – An app which corrects your previous console command

github.com/nvbn

9 years ago

287 points

33.

Show HN: A pure WebGL image editor with filters, crop and perspective correction

github.com/xdadda

a year ago

243 points

34.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

35.

SymSpell: 1M times faster spelling correction

github.com/wolfgarbe

4 years ago

203 points

36.

Fix Boyer-Moore searcher with the Rytter correction

github.com/microsoft

6 years ago

193 points

37.

Prove Raft Correct

github.com/uwplse

11 years ago

173 points

38.

Show HN: UUIDs that are Shakespearean, grammatically correct sentences

github.com/Debdut

6 years ago

154 points

39.

Tink – Cryptographic APIs that are secure, easy to use correctly

github.com/google

6 years ago

153 points

40.

Autotone – A vocal pitch correction web application, like Autotune

github.com/alexcrist

3 years ago

113 points

41.

Thefuck – Corrects your previous console command

github.com/nvbn

8 years ago

112 points

42.

Koan: A word2vec negative sampling implementation with correct CBOW update

github.com/bloomberg

5 years ago

88 points

43.

Synthesizing Correct-by-Construction Code for Cryptographic Primitives

github.com/mit-plv

5 years ago

78 points

44.

Show HN: Claude Reflect – Auto-turn Claude corrections into project config

github.com/BayramAnnakov

6 months ago

75 points

45.

Creusot helps you prove your Rust code is correct

github.com/creusot-rs

25 days ago

66 points

46.

Show HN: BetterOCR combines and corrects multiple OCR engines with an LLM

github.com/junhoyeo

3 years ago

63 points

47.

Show HN: Perspec – Scriptable desktop app to correct the perspective of images

github.com/feramhq

4 years ago

59 points

48.

Latest Kitty terminal release features SRGB correct linear gamma blending

github.com/kovidgoyal

3 years ago

56 points

49.

Show HN: Using LLama2 to Correct OCR Errors

github.com/Dicklesworthstone

3 years ago

54 points

50.

Thefuck: Magnificent app which corrects your previous console command

github.com/nvbn

4 years ago

42 points

51.

Batfish: OSS network configuration static analysis, find bugs, test correctness

github.com/batfish

2 years ago

39 points

52.

I wrote a script to automatically apply Grammarly corrections

github.com/isneuu

4 years ago

35 points

53.

A constant throughput, correct latency recording variant of wrk

github.com/giltene

12 years ago

22 points

54.

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

6 years ago

9 points

55.

Show HN: Posture Correction Using AirPods Motion Sensors

github.com/wizenheimer

a year ago

8 points

56.

Show HN: Lemmafit: Make agents prove that their code is correct

github.com/midspiral

3 months ago

7 points

57.

Gimp Material Color palette with the correct colors

github.com/KiSSFLOW

11 years ago

6 points

58.

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

github.com/msv-lab

a year ago

6 points

59.

Gem utility to automagically rename TV show files to a correct format

github.com/fklingler

14 years ago

5 points

60.

Show HN: Fast, correct API-view Vim folding for Python, written in Cython

github.com/abarker

4 years ago

5 points