HN
Hacker News
Top
New
Best
Ask
Show
Jobs
imode
170 karma · joined October 28, 2016
submissions
comments
Metamath: A Stack-Oriented Language and Proof Explorer
us.metamath.org
·
3 pts
·
imode
·
0
L6: (Bell) Labs Low Level Linked List Language
youtube.com
·
4 pts
·
imode
·
0
WikiWikiWeb Static Mirror
imode.gitlab.io
·
2 pts
·
imode
·
1