Our lab maintains a private wiki at https://github.com/devosoft/private-wiki.