group-theory topic

Distributed identifier generation service

pravj

😎 📜 Collection of the most awesome Maths learning resources in the form of notes, videos and cheatsheets.

tensorush

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

gap-system

The agda-unimath library

UniMath

Permutation puzzles in shapes of the platonic solids with a generic polynomial time solver.

aditya-r-m

A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond

neurreps

Planning for an entire maths LaTeX book

pelegs

Lectures for the "Problem Solving" Class at Nanjing University.

courses-at-nju-by-hfwei

Isomorphism testing and automorphisms of graphs

pdobsan

Computational Group Theory in Scala. It's Scala permuted!

denisrosset