Search: github.com/correll | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Prove Raft Correct (github.com/uwplse)

173 points

11 years ago

182.

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

154 points

6 years ago

183.

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

153 points

6 years ago

184.

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

113 points

3 years ago

185.

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

112 points

8 years ago

186.

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

88 points

5 years ago

187.

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

78 points

5 years ago

188.

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

75 points

5 months ago

189.

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

63 points

3 years ago

190.

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

59 points

4 years ago

191.

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

56 points

3 years ago

192.

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

54 points

3 years ago

193.

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

42 points

4 years ago

194.

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

39 points

2 years ago

195.

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

35 points

4 years ago

196.

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

22 points

12 years ago

197.

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

9 points

6 years ago

198.

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

8 points

a year ago

199.

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

7 points

3 months ago

200.

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

6 points

11 years ago

201.

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

6 points

a year ago

202.

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

5 points

13 years ago

203.

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

5 points

4 years ago

204.

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

5 points

11 years ago

205.

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

4 points

6 years ago

206.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin)

4 points

4 months ago

207.

Thefuck: Correct Your Previous Console Command (github.com/nvbn)

4 points

3 years ago

208.

orjson: Fast, correct Python JSON lib (supports dataclasses, datetimes, numpy) (github.com/ijl)

4 points

3 years ago

209.

Show HN: Automated unique exam creator and correction (github.com/skorotkiewicz)

4 points

4 years ago

210.

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications (github.com/curtsinger-lab)

4 points

4 years ago