零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

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

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

The agda-unimath library

Planning for an entire maths LaTeX book

Tools for exploiting Morphological Symmetries in robotics

Isomorphism testing and automorphisms of graphs

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

On-the-fly generator of space-group irreducible representations

A package for tight-binding model of magnetic and non-magnetic materials

Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"

The human-friendly Rubik's cube computer (WIP)

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

Official PyTorch implementation of Bispectral Neural Networks, ICLR 2023

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

A phonon irreducible representations calculator

A package for quickly constructing k·p models of magnetic and non-magnetic crystals

Permutations of finitely many positive integers

What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, minimalistic rings and fields manipulations, polynomials factoring, fields extensions and many more...

many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets