Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Nqthm – the original Boyer-Moore theorem prover, from 1992
(github.com/John-Nagle)
2 points
jaredsohn
10 years ago
discuss
2.
▲
BaudotRSS – RSS and SMS support for antique 5-bit Teletype machines
(github.com/John-Nagle)
1 point
ismiseted
9 years ago
discuss