Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Let Over Lambda is free online to read as pdf.
https://en.wikipedia.org/wiki/ACL2
On more mundane software, both Maxima and FriCAS are good examples (Math CAS).
On games/engines, there's Kandria.
There are no comments on this comment yet.
https://en.wikipedia.org/wiki/ACL2
On more mundane software, both Maxima and FriCAS are good examples (Math CAS).
On games/engines, there's Kandria.