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:
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Sep 26, 2021Updated 4 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆30Updated this week
- Embedded algebraic number fields☆13Dec 1, 2025Updated 4 months ago
- Web-based svg editor with plugin-centric architecture☆35Mar 31, 2026Updated 2 weeks ago
- Wildbits signaling server.☆13Oct 31, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- C++ library for semigroups and monoids☆65Updated this week
- Set monad☆19Jun 11, 2023Updated 2 years ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆21Mar 31, 2026Updated 2 weeks ago
- Convert GitHub project releases to Archlinux package, with autoupdate☆10Jul 10, 2023Updated 2 years ago
- A LaTeX template for writing a thesis at CU Boulder☆12Apr 2, 2024Updated 2 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- GAP package for quivers and path algebras☆32Mar 31, 2026Updated 2 weeks ago
- A Toy for Visualizing Coxeter Polytopes☆44Sep 17, 2021Updated 4 years ago
- repository for the fion window manager☆10Oct 10, 2025Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- EsoLangVM Compiler Infrastructure☆11Apr 4, 2026Updated last week
- CAP project -- Categories, Algorithms, and Programming☆41Apr 1, 2026Updated 2 weeks ago
- Matlab package for analyzing data using braids☆27Mar 24, 2026Updated 3 weeks 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
- Example project for a Titanium port of TaffyDb☆28Aug 15, 2013Updated 12 years ago
- Visual tool written in C++/QT5 wich helps designing sql databases☆12Mar 24, 2020Updated 6 years ago
- ☆36Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python script for generating tilings of the weakly chiral aperiodic monotile Tile(1,1) "Spectre".☆19Feb 12, 2024Updated 2 years ago
- Various simulations of random processes☆14Mar 3, 2026Updated last month
- 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 3 weeks ago
- Matlab package for circle packing☆19Nov 6, 2023Updated 2 years ago
- Fortran Front-End☆14Jun 9, 2021Updated 4 years ago
- Vite plugin for import file with ArrayBuffer or Uint8Array!☆27Jan 24, 2026Updated 2 months ago
- ☆13Jan 23, 2022Updated 4 years ago
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- Staging area of LibreOffice port on FreeBSD☆17Apr 8, 2026Updated last week
- Dockerfiles for Sage☆52Dec 16, 2019Updated 6 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last month
- Lie groups and algebra with some quaternions☆19Oct 14, 2025Updated 6 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 5 years ago
- Converts simple LaTeX to an unicode approximation (going beyond unicodeit)☆28Jul 2, 2023Updated 2 years ago