Search: github.com/qorrect | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

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

4 points

6 years ago

62.

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

4 points

4 months ago

63.

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

4 points

3 years ago

64.

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

4 points

3 years ago

65.

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

4 points

4 years ago

66.

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

4 points

4 years ago

67.

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

4 points

4 years ago

68.

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

4 points

8 years ago

69.

Correct spelling mistakes (github.com)

4 points

9 years ago

70.

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

3 points

3 months ago

71.

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

3 points

5 years ago

72.

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

3 points

2 months ago

73.

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

3 points

2 months ago

74.

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

3 points

6 months ago

75.

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

3 points

2 years ago

76.

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

3 points

4 years ago

77.

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

3 points

9 years ago

78.

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

3 points

14 years ago

79.

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

3 points

2 years ago

80.

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

3 points

4 years ago

81.

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

3 points

4 years ago

82.

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

3 points

4 years ago

83.

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

3 points

5 years ago

84.

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

3 points

6 years ago

85.

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

3 points

7 years ago

86.

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

3 points

10 years ago

87.

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

3 points

10 years ago

88.

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

3 points

11 years ago

89.

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

2 points

13 years ago

90.

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

2 points

10 years ago