group-theory topic
engine
Distributed identifier generation service
Awesome-Maths-Learning
😎 📜 Collection of the most awesome Maths learning resources in the form of notes, videos and cheatsheets.
gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
agda-unimath
The agda-unimath library
twisty-polyhedra
Permutation puzzles in shapes of the platonic solids with a generic polynomial time solver.
awesome-neural-geometry
A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
maths_book
Planning for an entire maths LaTeX book
problem-solving-class-lectures
Lectures for the "Problem Solving" Class at Nanjing University.
pynauty
Isomorphism testing and automorphisms of graphs
alasc
Computational Group Theory in Scala. It's Scala permuted!