10 results found Sort:
- Filter by Primary Language:
- Python (3)
- C (1)
- GAP (1)
- Agda (1)
- Jupyter Notebook (1)
- TeX (1)
- JavaScript (1)
- +
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Created
2023-11-29
519 commits to main branch, last one about a month ago
A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
Created
2022-07-31
126 commits to main branch, last one 2 months ago
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Created
2015-02-24
10,257 commits to master branch, last one 6 days ago
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,865 commits to master branch, last one 12 days ago
Planning for an entire maths LaTeX book
Created
2020-12-30
358 commits to main branch, last one about a year ago
Permutation puzzles in shapes of the platonic solids with a generic polynomial time solver.
Created
2018-09-09
101 commits to main branch, last one 3 months ago
Isomorphism testing and automorphisms of graphs
Created
2021-01-28
232 commits to main branch, last one 2 months ago
Tools for exploiting Morphological Symmetries in robotics
Created
2022-01-12
89 commits to main branch, last one 2 months ago
On-the-fly generator of space-group irreducible representations
Created
2022-07-03
411 commits to develop branch, last one a day ago
Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"
Created
2023-04-25
26 commits to main branch, last one 10 months ago