HMC Mathematics of Big Data I Course Website
Repository
Repository di evhub
Harvey Mudd Mathematics 40 Problem Sets
Harvey Mudd Mathematics 45 Problem Sets
Uses Rabbit to power a program that will test the user on their math. Easily extensible with different problem sets.
Source for the paper "Risks from Learned Optimization in Advanced Machine Learning Systems" by Evan Hubinger, Chris van Merwijk, Vladimir Mikulik, Joar Skalse, and Scott Garrabrant.
Jupyter/IPython Kernel Tools
Deep reinforcement learning in Minecraft using gym-minecraft and keras-rl.
Utilities for easily working with and managing minecraft forge servers.
A modern LaTeX Beamer theme
Optional static typing for Python 2 and 3 (PEP484)
evented I/O for v8 javascript
random search, hill climbing, policy gradient
Default channel file for Package Control. Follow the directions at:
Pattern matching for python
PCGen - Open Source character generator for role-playing games
Harvey Mudd Physics 24a Problem Sets