Search: github.com/correll | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

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

4 points

4 years ago

212.

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

4 points

4 years ago

213.

Show HN: posture correction content for those who sit in front of a screen (github.com/evexoio)

4 points

8 years ago

214.

Correct spelling mistakes (github.com)

4 points

9 years ago

215.

Show HN: Nova–Self-hosted personal AI learns from corrections &fine-tunes itself (github.com/HeliosNova)

3 points

3 months ago

216.

UUID Readable 2.0 Shakespearean, Grammatically Correct Sentence, Invertible (github.com/Debdut)

3 points

5 years ago

217.

Show HN: Calx – track and compile corrections humans make with AI agents (github.com)

3 points

2 months ago

218.

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

3 points

2 months ago

219.

PrinceJS: Benchmark Corrections and Lessons from a 13-Year-Old Developer (github.com/MatthewTheCoder1218)

3 points

6 months ago

220.

Rust Library for Reed Solomon Error Correction with Berlekamp–Welch Decoding (github.com/SohamJog)

3 points

2 years ago

221.

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

3 points

4 years ago

222.

Show HN: Factfold – Clojure library for flexible and correctness-prone software (github.com/notduncansmith)

3 points

9 years ago

223.

Ask HN: I care about correct code. I deliver on time. I'm hungry for work.

3 points

14 years ago

224.

Thefuck: Correct errors in previous console commands (github.com/nvbn)

3 points

2 years ago

225.

jaq – jq clone focussed on correctness, speed, and simplicity written in Rust (github.com/01mf02)

3 points

4 years ago

226.

Correctly styled citations to your Markdown paper given only a URL (github.com/phiresky)

3 points

4 years ago

227.

Porcupine: Fast linearizability checker to test distributed system correctness (github.com/anishathalye)

3 points

4 years ago

228.

Signal Repository, Pull Request #124, Corrects Docs (github.com/signalapp)

3 points

5 years ago

229.

Dutch corona app does not work correctly because of manufacturers' app killers (github.com/minvws)

3 points

6 years ago

230.

What is the correct pronunciation of Kubernetes in English? (github.com/kubernetes)

3 points

7 years ago

231.

Show HN: JavaScript multiple inheritance with correct instanceof (gist.github.com)

3 points

10 years ago

232.

Am I structuring my React application correctly? (github.com/pegabyte)

3 points

10 years ago

233.

Some guidelines to writing correct C functions (github.com/Mathieu-Desrochers)

3 points

11 years ago

234.

Show HN: Shikimo - colour-blindness image correction (ruby/carrierwave) (github.com/kenhub)

2 points

13 years ago

235.

Show HN: Typopo – auto-correct frequent typos (github.com/surfinzap)

2 points

10 years ago

236.

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

2 points

2 years ago

237.

Iced – fast and correct x86/x64 disassembler, assembler, decoder, encoder (github.com/icedland)

2 points

peter_d_sherman

3 years ago

238.

A tiny toy compiler proven correct in Idris (github.com/mbrodersen)

2 points

8 years ago

239.

AngularJS library to correctly handle JWTs (github.com/auth0)

2 points

12 years ago

240.

A (WIP) "correct" implementation of regular expressions in Python using FSAs (github.com/cyphar)

2 points

12 years ago