superpermutators / superperm
☆125Updated last year
Related projects ⓘ
Alternatives and complementary repositories for superperm
- metamath proof enumerators and other things☆87Updated 3 months ago
- A repository for the Quest For Tetris☆175Updated 3 years ago
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆197Updated 7 years ago
- A LaTeX Typesetting Game☆243Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆62Updated this week
- Java implementations of sequences in the OEIS☆58Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆102Updated 5 months ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- Python implementation of the monster group☆39Updated 3 weeks ago
- ☆158Updated last week
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- realhats LaTeX package☆106Updated last year
- A web application to visualize complex mappings.☆29Updated 8 years ago
- Math-themed single-serving site☆46Updated 3 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- ☆14Updated 7 months ago
- LODA Programs for Integer Sequences☆31Updated this week
- A program with no practical utility☆23Updated 8 years ago
- Dancing Quine Chameleon☆40Updated 9 years ago
- Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.☆18Updated 13 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 7 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- A community database of topological counterexamples☆72Updated this week
- Automatically exported from code.google.com/p/atlasofliegroups☆31Updated this week
- Listing of online math seminars☆41Updated 2 months ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆292Updated last year
- Style package for directly including color emojis in latex documents☆219Updated 5 years ago
- A compiler for the esoteric language Piet, targeting multiple backends.☆92Updated 4 years ago
- ☆159Updated 5 years ago
- ☆40Updated 9 years ago