11 results found Sort:

WTFAcademy
WTF-zk WTFAcademy
211
1.7k
mit
15
零知识证明入门教程。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
519 commits to main branch, last one 2 months ago
neurreps
awesome-neural-geometry neurreps
62
936
unknown
29
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
126 commits to main branch, last one 3 months ago
gap-system
gap gap-system
162
830
gpl-2.0
38
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,303 commits to master branch, last one 15 hours ago
UniMath
agda-unimath UniMath
72
226
mit
9
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,867 commits to master branch, last one a day ago
pelegs
maths_book pelegs
29
211
cc0-1.0
8
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
11
61
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
102 commits to main branch, last one 5 days ago
pdobsan
pynauty pdobsan
10
58
other
9
Isomorphism testing and automorphisms of graphs
python graph-theory group-theory
Created 2021-01-28
232 commits to main branch, last one 3 months ago
Danfoa
MorphoSymm Danfoa
4
52
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
89 commits to main branch, last one 3 months ago
spglib
spgrep spglib
6
46
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
413 commits to develop branch, last one 12 days ago
zhangzeyingvv
MagneticTB zhangzeyingvv
20
35
gpl-3.0
1
A package for tight-binding model of magnetic and non-magnetic materials
physics symmetry wannier90 group-theory magnetic-materials tight-binding-model condensed-matter-physics
Created 2021-05-18
135 commits to main branch, last one about a month ago
sophiaas
spectral-universality sophiaas
4
32
unknown
2
Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"
fourier invariance group-theory geometric-deep-learning
Created 2023-04-25
26 commits to main branch, last one 11 months ago