• CabriGraph
• Groups and Graphs