Search: github.com/correll | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Correcthorse: generate secure, easy to type, memorable passphrases

github.com/polonskiy

9 years ago

1 points

152.

A subtitles corrector tool for Linux

github.com/sunilkumarc

12 years ago

3 points

153.

Chat_correct: shows the errors of a correct English sentence vs. an incorrect one

github.com/diasks2

11 years ago

1 points

154.

Show HN: Chat Correct – error analysis for English sentence corrections

github.com/diasks2

11 years ago

1 points

155.

Show HN: Statistically Correct Python Interpreter

github.com/mkhan45

3 years ago

1 points

156.

Show HN: Color correct underwater footage with Python

github.com/bornfree

4 years ago

2 points

157.

Norvig's Spellchecker ported to Coffeescript (21 lines as well)

github.com/danielribeiro

15 years ago

2 points

158.

On the Correctness of Egalitarian Paxos

github.com/otrack

7 years ago

2 points

159.

On the Correctness of Egalitarian Paxos

github.com/otrack

7 years ago

2 points

160.

On the Correctness of Egalitarian Paxos

github.com/otrack

7 years ago

2 points

161.

Toy Spelling Corrector Written in Golang

github.com/montanaflynn

11 years ago

1 points

162.

Some ios kernel analysis tool write by C

9 years ago

6 points

163.

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

6 years ago

1 points

164.

SCSS-Lint Auto Correct scripts

github.com/Dorian

8 years ago

1 points

165.

Show HN: Memory Graph – Interactive Python execution and memory visualizer

memory-graph.com

6 months ago

7 points

166.

Show HN: My own tokenization method in Python, open to feedback

github.com/YasTouchedMySpaggett

3 years ago

2 points

167.

Tell HN: Firefox got slower after new update?

9 years ago

1 points

168.

Benefits of Nim over C/C++

github.com/mratsim

6 years ago

2 points

169.

Show HN: LLM-aided OCR – Correcting Tesseract OCR errors with LLMs

github.com/Dicklesworthstone

2 years ago

479 points

170.

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

3 months ago

7 points

171.

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

4 months ago

2 points

172.

Introducing BackendBench: how well LLMs and humans can write PyTorch backends

github.com/meta-pytorch

9 months ago

2 points

173.

Perl code that is syntactically correct only on Fridays

github.com/jwilk

4 years ago

466 points

174.

Jaq – A jq clone focused on correctness, speed, and simplicity

github.com/01mf02

3 years ago

440 points

175.

The Fuck – Correct your previous console command

github.com/nvbn

11 years ago

438 points

176.

Writing correct lock-free and distributed stateful systems in Rust, with TLA+

github.com/spacejam

9 years ago

374 points

177.

Show HN: Gutenberg – Modern CSS framework to print the web correctly

github.com/BafS

9 years ago

305 points

178.

The Fuck – An app which corrects your previous console command

github.com/nvbn

9 years ago

287 points

179.

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

github.com/xdadda

a year ago

243 points

180.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points