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

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

The agda-unimath library

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

Planning for an entire maths LaTeX book

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

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

Isomorphism testing and automorphisms of graphs

Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell

A phonon irreducible representations calculator

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

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

Official PyTorch implementation of Bispectral Neural Networks, ICLR 2023

Permutations of finitely many positive integers

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

Associative algebra (VUB)

Faster MPSoC Task Mapping via Symmetry Detection

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

Interface for abstract groups

Non-commutative algebra (VUB)