Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Ask HN: Basic Personal Finance/Accounting Application
17 points
nyc_jenna
16 years ago
11 comments
2.
A formalization of category theory in Coq (github.com/jwiegley)
109 points
noch
9 years ago
33 comments
3.
A formalization in Coq of the Haskell pipes library (github.com/jwiegley)
73 points
lelf
11 years ago
6 comments
4.
Ledger: Command-line double-entry accounting (github.com/jwiegley)
57 points
mbrubeck
17 years ago
14 comments
5.
chess.el (github.com/jwiegley)
1 point
tosh
6 years ago
discuss
6.
BTC Endgame (github.com/mikekelly)
288 points
jbegley
5 years ago
271 comments
7.
Vit: Git for Video Editing (github.com/LucasHJin)
8 points
jbegley
2 months ago
1 comment
8.
New Cache of Facebook Documents [pdf] (github.com/BuxtonTheRed)
7 points
jbegley
7 years ago
discuss
9.
Coronavirus (Covid-19) Data in the United States (github.com/nytimes)
5 points
jbegley
6 years ago
1 comment
10.
Show HN: Twitter bot counting the days Colin Kaepernick has been banned from NFL (github.com/joshbegley)
4 points
jbegley
9 years ago
discuss
11.
Show HN: Favorite Every Tweet (github.com/joshbegley)
3 points
jbegley
9 years ago
discuss
12.
iOS 12.4 Jailbreak (github.com/pwn20wndstuff)
2 points
jbegley
7 years ago
discuss
13.
Show HN: StructEval - a structured output evaluation and comparison tool (github.com/jhiker)
1 point
jwesleyharding
7 months ago
discuss
14.
Lets Play a Game (github.com/fxfactorial)
1 point
jbegley
5 years ago
discuss
15.
Death Row Database (github.com/firstlookmedia)
1 point
jbegley
7 years ago
discuss
16.
BXAQ Source Code (github.com/motherboardgithub)
1 point
jbegley
7 years ago
discuss
17.
The National Security Agency's GitHub Page (github.com)
1 point
jbegley
7 years ago
discuss