For deep RL and the future of AI.

PyTorch code for Neural Networks and Deep Learning written by Michael Nielsen

Made for a reading group at the Center for Safe AGI.

Use Superintelligent Tabot Please!

A programming language for formal/informal computation.

AI Verify

LLM training in simple, raw C/CUDA