GitHub repository: redtrama/awesome-halmos
Description: List of Halmos resources.