Posts where doubly-generic has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.
A small library for arity-generic datatype-generic programming in Coq
reddit.com/r/Coq | 2021-04-13
Basic doubly-generic repo stats
3 months ago
jeanpehk/doubly-generic is an open source project licensed under MIT License which is an OSI approved license.