dima-starosud/Dynamic GitHub repository with 5 stars and 1 forks. Language: Agda Open provider repository