Combinatorial species (fork of byorgey's species)
there don't seem to be any issues for this project.