Search: github.com/jwiegley | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: Basic Personal Finance/Accounting Application

16 years ago

17 points

2.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

3.

A formalization in Coq of the Haskell pipes library

github.com/jwiegley

11 years ago

73 points

4.

Ledger: Command-line double-entry accounting

github.com/jwiegley

17 years ago

57 points

5.

github.com/jwiegley

6 years ago

1 points

6.

New Cache of Facebook Documents [pdf]

github.com/BuxtonTheRed

7 years ago

7 points

7.

iOS 12.4 Jailbreak

github.com/pwn20wndstuff

7 years ago

2 points

8.

Show HN: StructEval - a structured output evaluation and comparison tool

github.com/jhiker

7 months ago

1 points