Coxeter is a library for the study of combinatorial aspects of Coxeter group theory
☆11Dec 28, 2023Updated 2 years ago
Alternatives and similar repositories for coxeter
Users that are interested in coxeter are comparing it to the libraries listed below
Sorting:
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆30Updated this week
- Embedded algebraic number fields☆14Dec 1, 2025Updated 3 months ago
- A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…☆12Oct 11, 2023Updated 2 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Sep 26, 2021Updated 4 years ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆21Jan 13, 2026Updated last month
- C++ library for semigroups and monoids☆65Feb 25, 2026Updated last week
- Matlab package for analyzing data using braids☆27Jan 31, 2026Updated last month
- GAP package for quivers and path algebras☆32Jan 28, 2026Updated last month
- Repository for raising issues and requesting help on Ubermag☆11Nov 8, 2023Updated 2 years ago
- ☆36Feb 24, 2026Updated last week
- A Toy for Visualizing Coxeter Polytopes☆44Sep 17, 2021Updated 4 years ago
- A LaTeX template for writing a thesis at CU Boulder☆12Apr 2, 2024Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- VK Group Likes Bot - Bot who can like new or existing posts in the groups☆18Apr 19, 2019Updated 6 years ago
- a hexo theme based on jade and sass.☆10Mar 26, 2018Updated 7 years ago
- Lightweight Splay tree javascript library☆12Jan 10, 2019Updated 7 years ago
- Бот для прослушивания музыки из ВК в Telegram☆10Sep 19, 2021Updated 4 years ago
- This repository contains all 88 key piano sounds derived from a Steinway piano. Additionally, all the mp3 files are conveniently named fo…☆15May 12, 2018Updated 7 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆10May 25, 2017Updated 8 years ago
- Фиксирует определенные события из Telegram чата и перенаправляет их в отдельный Telegram канал☆10Apr 17, 2019Updated 6 years ago
- Web-based svg editor with plugin-centric architecture☆32Updated this week
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- CAP project -- Categories, Algorithms, and Programming☆41Feb 12, 2026Updated 3 weeks ago
- A twitter bot for 2-dimensional tilings, @TilingBot☆44Dec 12, 2025Updated 2 months ago
- Basic package manager for GAP☆12Nov 25, 2025Updated 3 months ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 13 years ago
- Visual tool written in C++/QT5 wich helps designing sql databases☆12Mar 24, 2020Updated 5 years ago
- An Interactive Discrete Mathematics Framework for GAP☆10Feb 25, 2026Updated last week
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Feb 20, 2024Updated 2 years ago
- Vanilla is a single page application starter template.☆13Nov 29, 2022Updated 3 years ago
- ☆10Dec 12, 2025Updated 2 months ago
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated last year
- Fournir des ressources actionables de sécurité pour les services biomédicaux.☆11Mar 15, 2020Updated 5 years ago
- Combinators in C☆38Jun 5, 2012Updated 13 years ago
- Python-based domain-specific language for computational magnetism.☆13Feb 23, 2026Updated last week
- Parses a given html text for a good excerpt.☆11Apr 16, 2021Updated 4 years ago
- Travis builds for certbot.eff.org☆12Jan 19, 2022Updated 4 years ago
- ☆11Sep 7, 2020Updated 5 years ago