A Repository for Directed Simplicial Type Theory