MIRI
Machine Intelligence Research Institute
tt-provability
forked from GallagherCommaJack/tt-provability
Systems for doing provability logic in type theory
predictionbook
forked from tricycle/predictionbook
Find out just how sure you should be, and get better at being only as sure as the facts justify.
Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment