Search: github.com/qorrect | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: A Jumpcut inspired clipboard history tool for Windows 10 (github.com/qorrect)

3 points

5 years ago

2.

Show HN: I'm 6 months late, but I made a Natural Language theorem prover (github.com/ArnavAgrawal03)

3 points

a year ago

3.

Generate passwords with correcthorse (github.com/bevacqua)

2 points

11 years ago

4.

AI-powered keyboard layout fixer for when you forget to switch layouts (github.com/mohamedch7)

1 point

2 years ago

5.

Correcthorse: generate secure, easy to type, memorable passphrases (github.com/polonskiy)

1 point

8 years ago

6.

A subtitles corrector tool for Linux (github.com/sunilkumarc)

3 points

12 years ago

7.

Chat_correct: shows the errors of a correct English sentence vs. an incorrect one (github.com/diasks2)

1 point

11 years ago

8.

Show HN: Chat Correct – error analysis for English sentence corrections (github.com/diasks2)

1 point

11 years ago

9.

Show HN: Statistically Correct Python Interpreter (github.com/mkhan45)

1 point

3 years ago

10.

Show HN: Color correct underwater footage with Python (github.com/bornfree)

2 points

4 years ago

11.

Norvig's Spellchecker ported to Coffeescript (21 lines as well) (github.com/danielribeiro)

2 points

15 years ago

12.

On the Correctness of Egalitarian Paxos (github.com/otrack)

2 points

7 years ago

13.

On the Correctness of Egalitarian Paxos (github.com/otrack)

2 points

7 years ago

14.

On the Correctness of Egalitarian Paxos (github.com/otrack)

2 points

7 years ago

15.

Toy Spelling Corrector Written in Golang (github.com/montanaflynn)

1 point

11 years ago

16.

Some ios kernel analysis tool write by C

6 points

9 years ago

17.

Show HN: High quality source of algorithms/DS for competitive programming

1 point

6 years ago

18.

SCSS-Lint Auto Correct scripts (github.com/Dorian)

1 point

8 years ago

19.

Show HN: Memory Graph – Interactive Python execution and memory visualizer (memory-graph.com)

7 points

5 months ago

20.

Show HN: My own tokenization method in Python, open to feedback (github.com/YasTouchedMySpaggett)

2 points

3 years ago

21.

Tell HN: Firefox got slower after new update?

1 point

9 years ago

22.

Benefits of Nim over C/C++ (github.com/mratsim)

2 points

6 years ago

23.

Show HN: LLM-aided OCR – Correcting Tesseract OCR errors with LLMs (github.com/Dicklesworthstone)

479 points

2 years ago

24.

Show HN: Aiaiai.guide: Plain-English mental model for LLM apps, tools and agents (aiaiai.guide)

7 points

2 months ago

25.

Show HN: Reduce LLM token use by ~30% with this MCP/CLI tool(Claude benchmarked)

2 points

3 months ago

26.

Introducing BackendBench: how well LLMs and humans can write PyTorch backends (github.com/meta-pytorch)

2 points

9 months ago

27.

Perl code that is syntactically correct only on Fridays (github.com/jwilk)

466 points

4 years ago

28.

Jaq – A jq clone focused on correctness, speed, and simplicity (github.com/01mf02)

440 points

3 years ago

29.

The Fuck – Correct your previous console command (github.com/nvbn)

438 points

11 years ago

30.

Writing correct lock-free and distributed stateful systems in Rust, with TLA+ (github.com/spacejam)

374 points

9 years ago