HaloMods/HaloTagDefinitions GitHub repository with 5 stars and 2 forks. Topics: halo2 Open provider repository