universe alternatives and similar packages

Based on the "universe" category.
Alternatively, view universe alternatives based on common mentions on social networks and blogs.

• universe-base

  8.4 2.9 universe VS universe-base

  Classes for types where we know all the values
  

• universe-dependent-sum

  - universe VS universe-dependent-sum

  Universe instances for types from dependent-sum

Do you think we are missing an alternative of universe or a related project?

Add another 'universe' Package