Standard library
Algorithms
Input/Output
Generators
Properties
Utilities
Resynthesis
Rewriting and resubstitution
Various optimization algorithms