Eric Hartmann's public repository