Slightly off topic: Is the git frontend [1] open source? If not, are there some very light self hosting ones like it?

[1] https://thelig.ht/code/