Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Chyp: An interactive theorem prover for string diagrams
(github.com/akissinger)
2 points
g0xA52A2A
3 years ago
discuss
2.
▲
Wikileak's ProjectK, the diplomatic cables of the Kissinger era
(github.com/jplusplus)
1 point
jnazario
13 years ago
discuss