Coxeter is a library for the study of combinatorial aspects of Coxeter group theory
☆12Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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:☆26Sep 26, 2021Updated 4 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆30Updated this week
- Embedded algebraic number fields☆13May 19, 2026Updated last week
- A Python tool to visualize geometric shapes in the native representation of hyperbolic space.☆10Nov 14, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- C++ library for semigroups and monoids☆68Updated this week
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆21May 18, 2026Updated last week
- GAP package for quivers and path algebras☆31May 18, 2026Updated last week
- A Toy for Visualizing Coxeter Polytopes☆45Sep 17, 2021Updated 4 years ago
- repository for the fion window manager☆10Oct 10, 2025Updated 7 months ago
- EsoLangVM Compiler Infrastructure☆11Apr 4, 2026Updated last month
- Native Jupyter kernel for GAP☆21May 18, 2026Updated last week
- CAP project -- Categories, Algorithms, and Programming☆42May 19, 2026Updated last week
- Matlab package for analyzing data using braids☆27Apr 28, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Visualising straight lines (geodesics) on the pseudosphere and related geometries.☆16Jun 19, 2023Updated 2 years ago
- Fournir des ressources actionables de sécurité pour les services biomédicaux.☆11Mar 15, 2020Updated 6 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- TikZ driver for tex4ht which uses dvisvgm for the SVG production☆14Jun 2, 2025Updated 11 months ago
- Visual tool written in C++/QT5 wich helps designing sql databases☆12Mar 24, 2020Updated 6 years ago
- ☆36Updated this week
- The Emilia Pinball Project , last code available and 2 new tables☆12May 12, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Various simulations of random processes☆14Mar 3, 2026Updated 2 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 14 years ago
- Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways☆51Mar 16, 2026Updated 2 months ago
- Matlab package for circle packing☆19Nov 6, 2023Updated 2 years ago
- Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.☆10May 11, 2026Updated 2 weeks ago
- Fortran Front-End☆14Jun 9, 2021Updated 4 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Staging area of LibreOffice port on FreeBSD☆17May 2, 2026Updated 3 weeks ago
- Dockerfiles for Sage☆52Dec 16, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11Jul 8, 2020Updated 5 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Apr 18, 2026Updated last month
- Lie groups and algebra with some quaternions☆19Oct 14, 2025Updated 7 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 5 years ago
- Travis builds for certbot.eff.org☆12Jan 19, 2022Updated 4 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 5 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago