email@example.com (related to academia)
firstname.lastname@example.org (all other)
For what it's worth I am a supporter of the Cost of Knowledge effort.
I've finished work on Occam's custom grammar handling. I now have to finish the dependency management, which is going pretty well if a little slowly. Then I can start on verification (I am aware that it is not the first time that I have written that).
Update: work on Occam has come to a halt most likely until early next year.
Aside: I've always been a bit rubbish at probability, and recently a student came to me with the Monty Hall problem. I waffled for several minutes before admitting (to myself as much as anyone) that I hadn't a clue what I was talking about. We then decided to solve it properly. It took a few lessons on and off but the result was a much clearer direct calculation (or proof if you prefer).
Occam has its own dedicated page including a section on how you can get it running locally.
These are not fully peer-reviewed papers and should not be judged as such.
Last updated 14th December, 2017.