9 results found Sort:

neurreps
awesome-neural-geometry neurreps
56
866
unknown
27
A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
papers symmetry topology awesome-list equivariance group-theory neuroscience deep-learning neural-networks neural-computation differential-geometry
Created 2022-07-31
122 commits to main branch, last one 4 months ago
WTFAcademy
WTF-zk WTFAcademy
115
795
mit
8
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
zk zkp snark stark bitcoin zkproof ethereum zksnarks blockchain cryptography group-theory number-theory zero-knowledge elliptic-curves abstract-algebra zero-knowledge-proofs elliptic-curve-cryptography
Created 2023-11-29
437 commits to main branch, last one 2 days ago
gap-system
gap gap-system
160
768
gpl-2.0
37
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
math algebra mathematics group-theory computer-algebra discrete-mathematics representation-theory computer-algebra-system
Created 2015-02-24
10,187 commits to master branch, last one a day ago
UniMath
agda-unimath UniMath
67
211
mit
11
The agda-unimath library
trees species ring-theory graph-theory group-theory order-theory finite-groups number-theory type-theories category-theory structured-types universal-algebra commutative-algebra higher-group-theory homotopy-type-theory univalent-foundations univalent-mathematics univalent-combinatorics synthetic-homotopy-theory orthogonal-factorization-systems
Created 2021-11-19
2,803 commits to master branch, last one 6 days ago
pelegs
maths_book pelegs
26
198
cc0-1.0
7
Planning for an entire maths LaTeX book
latex physics science calculus textbook mathematics group-theory linear-algebra fourier-transform
Created 2020-12-30
358 commits to main branch, last one about a year ago
aditya-r-m
twisty-polyhedra aditya-r-m
10
60
gpl-3.0
4
Permutation puzzles in shapes of the platonic solids with a generic polynomial time solver.
cube megaminx pyraminx algorithm javascript octahedron icosahedron rubiks-cube tetrahedron dodecahedron group-theory
Created 2018-09-09
100 commits to main branch, last one about a year ago
pdobsan
pynauty pdobsan
8
50
other
8
Isomorphism testing and automorphisms of graphs
python graph-theory group-theory
Created 2021-01-28
228 commits to main branch, last one 20 days ago
spglib
spgrep spglib
5
44
bsd-3-clause
3
On-the-fly generator of space-group irreducible representations
python group-theory crystallography materials-science representation-theory irreducible-representations
Created 2022-07-03
389 commits to develop branch, last one 8 days ago
Danfoa
MorphoSymm Danfoa
2
39
mit
2
Tools for exploiting Morphological Symmetries in robotics
robotics symmetries group-theory legged-robotics symmetric-robots dynamical-systems symmetry-analysis invariant-learning equivariant-control representation-theory representation-learning morphological-symmetries equivariant-neural-networks
Created 2022-01-12
81 commits to main branch, last one 7 days ago