HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
HackerNewsOnion MOTD in your Terminal
github.com/jacobsmith
discuss
13 years ago
jacob_smith
1 points
2.
▲
Qed: A verified web front end written in Lean4
github.com/JacobAsmuth
discuss
8 days ago
JacobAsmuth
3 points
3.
▲
Gch – a shell script to write better Git commit messages
github.com/jacksmithxyz
1 comment
8 months ago
fixedprog
2 points