Search: github.com/corretto | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

A constant throughput, correct latency recording variant of wrk

github.com/giltene

12 years ago

22 points

62.

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

6 years ago

9 points

63.

Show HN: Posture Correction Using AirPods Motion Sensors

github.com/wizenheimer

a year ago

8 points

64.

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

github.com/midspiral

4 months ago

7 points

65.

Gimp Material Color palette with the correct colors

github.com/KiSSFLOW

11 years ago

6 points

66.

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

github.com/msv-lab

a year ago

6 points

67.

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

github.com/fklingler

14 years ago

5 points

68.

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

github.com/abarker

4 years ago

5 points

69.

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

github.com/axyz

11 years ago

5 points

70.

Thefuck: Magnificent app which corrects your previous console command

github.com/nvbn

6 years ago

4 points

71.

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

github.com/namin

5 months ago

4 points

72.

Thefuck: Correct Your Previous Console Command

github.com/nvbn

3 years ago

4 points

73.

AutoMegaKernel: Compile an LLM into one provably-correct CUDA megakernel

github.com/RightNow-AI

14 days ago

4 points

74.

orjson: Fast, correct Python JSON lib (supports dataclasses, datetimes, numpy)

3 years ago

4 points

75.

Show HN: Automated unique exam creator and correction

github.com/skorotkiewicz

4 years ago

4 points

76.

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications

github.com/curtsinger-lab

4 years ago

4 points

77.

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

github.com/feramhq

4 years ago

4 points

78.

Show HN: posture correction content for those who sit in front of a screen

github.com/evexoio

8 years ago

4 points

79.

Correct spelling mistakes

9 years ago

4 points

80.

Bmc4j – Prove your Java/Kotlin code correct from jUnit style tests

github.com/bmc4j

17 days ago

3 points

81.

Show HN: Nova–Self-hosted personal AI learns from corrections &fine-tunes itself

github.com/HeliosNova

3 months ago

3 points

82.

UUID Readable 2.0 Shakespearean, Grammatically Correct Sentence, Invertible

github.com/Debdut

6 years ago

3 points

83.

Show HN: Calx – track and compile corrections humans make with AI agents

3 months ago

3 points

84.

Jaq: A jq clone focussed on correctness, speed, and simplicity

github.com/01mf02

3 months ago

3 points

85.

PrinceJS: Benchmark Corrections and Lessons from a 13-Year-Old Developer

github.com/MatthewTheCoder1218

7 months ago

3 points

86.

Rust Library for Reed Solomon Error Correction with Berlekamp–Welch Decoding

github.com/SohamJog

2 years ago

3 points

87.

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

github.com/01mf02

4 years ago

3 points

88.

Show HN: Factfold – Clojure library for flexible and correctness-prone software

github.com/notduncansmith

9 years ago

3 points

89.

Vibe Justice System – AI Courts convened in pursuit of correctness

github.com/wlilley93

17 days ago

3 points

90.

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

14 years ago

3 points