Search: github.com/jwiegley | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: Basic Personal Finance/Accounting Application

17 points

16 years ago

2.

A formalization of category theory in Coq (github.com/jwiegley)

109 points

9 years ago

3.

A formalization in Coq of the Haskell pipes library (github.com/jwiegley)

73 points

11 years ago

4.

Ledger: Command-line double-entry accounting (github.com/jwiegley)

57 points

17 years ago

5.

chess.el (github.com/jwiegley)

1 point

6 years ago

6.

BTC Endgame (github.com/mikekelly)

288 points

5 years ago

7.

Vit: Git for Video Editing (github.com/LucasHJin)

8 points

2 months ago

8.

New Cache of Facebook Documents [pdf] (github.com/BuxtonTheRed)

7 points

7 years ago

9.

Coronavirus (Covid-19) Data in the United States (github.com/nytimes)

5 points

6 years ago

10.

Show HN: Twitter bot counting the days Colin Kaepernick has been banned from NFL (github.com/joshbegley)

4 points

9 years ago

11.

Show HN: Favorite Every Tweet (github.com/joshbegley)

3 points

9 years ago

12.

iOS 12.4 Jailbreak (github.com/pwn20wndstuff)

2 points

7 years ago

13.

Show HN: StructEval - a structured output evaluation and comparison tool (github.com/jhiker)

1 point

7 months ago

14.

Lets Play a Game (github.com/fxfactorial)

1 point

5 years ago

15.

Death Row Database (github.com/firstlookmedia)

1 point

7 years ago

16.

BXAQ Source Code (github.com/motherboardgithub)

1 point

7 years ago

17.

The National Security Agency's GitHub Page (github.com)

1 point

7 years ago