Search: github.com/correll | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

SymSpell: 1M times faster spelling correction

github.com/wolfgarbe

4 years ago

203 points

182.

Fix Boyer-Moore searcher with the Rytter correction

github.com/microsoft

6 years ago

193 points

183.

Prove Raft Correct

github.com/uwplse

11 years ago

173 points

184.

Show HN: UUIDs that are Shakespearean, grammatically correct sentences

github.com/Debdut

6 years ago

154 points

185.

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

github.com/google

6 years ago

153 points

186.

Autotone – A vocal pitch correction web application, like Autotune

github.com/alexcrist

3 years ago

113 points

187.

Thefuck – Corrects your previous console command

github.com/nvbn

8 years ago

112 points

188.

Koan: A word2vec negative sampling implementation with correct CBOW update

github.com/bloomberg

5 years ago

88 points

189.

Synthesizing Correct-by-Construction Code for Cryptographic Primitives

github.com/mit-plv

5 years ago

78 points

190.

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

github.com/BayramAnnakov

6 months ago

75 points

191.

Creusot helps you prove your Rust code is correct

github.com/creusot-rs

25 days ago

66 points

192.

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

github.com/junhoyeo

3 years ago

63 points

193.

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

github.com/feramhq

4 years ago

59 points

194.

Latest Kitty terminal release features SRGB correct linear gamma blending

github.com/kovidgoyal

3 years ago

56 points

195.

Show HN: Using LLama2 to Correct OCR Errors

github.com/Dicklesworthstone

3 years ago

54 points

196.

Thefuck: Magnificent app which corrects your previous console command

github.com/nvbn

4 years ago

42 points

197.

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

github.com/batfish

2 years ago

39 points

198.

I wrote a script to automatically apply Grammarly corrections

github.com/isneuu

4 years ago

35 points

199.

A constant throughput, correct latency recording variant of wrk

github.com/giltene

12 years ago

22 points

200.

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

6 years ago

9 points

201.

Show HN: Posture Correction Using AirPods Motion Sensors

github.com/wizenheimer

a year ago

8 points

202.

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

github.com/midspiral

4 months ago

7 points

203.

Gimp Material Color palette with the correct colors

github.com/KiSSFLOW

11 years ago

6 points

204.

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

github.com/msv-lab

a year ago

6 points

205.

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

github.com/fklingler

14 years ago

5 points

206.

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

github.com/abarker

4 years ago

5 points

207.

Show HN: mediaquery – Turns human readable breakpoints into correct mediaqueries

github.com/axyz

11 years ago

5 points

208.

Thefuck: Magnificent app which corrects your previous console command

github.com/nvbn

6 years ago

4 points

209.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

github.com/namin

5 months ago

4 points

210.

Thefuck: Correct Your Previous Console Command

github.com/nvbn

3 years ago

4 points