12 results found Sort:

WTFAcademy
WTF-zk WTFAcademy
233
1.9k
mit
17
零知识证明入门教程。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
520 commits to main branch, last one 2 months ago
neurreps
awesome-neural-geometry neurreps
66
970
unknown
31
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
128 commits to main branch, last one 2 months ago
gap-system
gap gap-system
170
858
gpl-2.0
39
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,370 commits to master branch, last one 23 hours ago
UniMath
agda-unimath UniMath
76
249
mit
10
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,971 commits to master branch, last one a day ago
pelegs
maths_book pelegs
29
217
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 2 years ago
Danfoa
MorphoSymm Danfoa
4
78
mit
1
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
105 commits to main branch, last one 18 days ago
pdobsan
pynauty pdobsan
10
64
other
8
Isomorphism testing and automorphisms of graphs
python graph-theory group-theory
Created 2021-01-28
232 commits to main branch, last one 7 months ago
aditya-r-m
twisty-polyhedra aditya-r-m
11
62
gpl-3.0
3
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 3 months ago
spglib
spgrep spglib
6
49
bsd-3-clause
4
On-the-fly generator of space-group irreducible representations
python group-theory crystallography materials-science representation-theory irreducible-representations
Created 2022-07-03
450 commits to develop branch, last one 4 days ago
zhangzeyingvv
MagneticTB zhangzeyingvv
20
42
gpl-3.0
2
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
136 commits to main branch, last one 3 months ago
sophiaas
spectral-universality sophiaas
4
38
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 about a year ago
ArhanChaudhary
qter ArhanChaudhary
1
29
gpl-3.0
1
The human-friendly Rubik's cube computer (WIP)
gap rust rubiks-cube group-theory puzzle-geometry esoteric-programming-language
Created 2024-09-30
465 commits to main branch, last one 3 days ago