unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other versions, the official release system is somewhat improvisational. We aspire to track the official releases closely, but for the latest please visit the official homepage.
☆25Jul 18, 2025Updated last year
Alternatives and similar repositories for nauty
Users that are interested in nauty are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reverse search algorithm for vertex enumeration/convex hull problems by David Avis. Branch "upstream" created from release archives at ht…☆15Aug 13, 2025Updated last year
- Repository for the Online Algorithmic Complexity Calculator☆15Apr 4, 2025Updated last year
- ☆18Sep 30, 2025Updated 11 months ago
- ☆22May 25, 2017Updated 9 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆22Aug 3, 2026Updated last month
- 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.
- Vim dot files☆11Nov 19, 2019Updated 6 years ago
- Portability library for the extensible sequences protocol☆16May 18, 2026Updated 4 months ago
- ☆15May 30, 2020Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A jupyter widget to select chemical elements from the periodic table.☆16Jul 1, 2026Updated 2 months ago
- A curated biochemical database that integrates and refines data from KEGG and ATLAS databases to support precise analyses of biochemical …☆16May 13, 2026Updated 4 months ago
- this was absolutely the wrong direction https://plisp.github.io/posts/Editing-abstraction-not-text-updated.html☆13Dec 24, 2021Updated 4 years ago
- UTF-8 encoded strings as Lisp sequences☆14Dec 9, 2019Updated 6 years ago
- 🎵 Simple music player for Atom.☆14Apr 24, 2023Updated 3 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.
- ☆10Jul 10, 2023Updated 3 years ago
- Invokes Zotero visual picker and inserts citation(s)☆12Aug 10, 2019Updated 7 years ago
- Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface☆19Mar 4, 2023Updated 3 years ago
- A Julia interface to the SDPA-GMP, SDPA-DD, and SDPA-QD high precision semidefinite programming solvers.☆12Mar 12, 2024Updated 2 years ago
- Code for paper "Principled feature attribution for unsupervised gene expression analysis"☆13Mar 7, 2023Updated 3 years ago
- Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.☆10Updated this week
- Multilingual grammar-specific spell checking for Atom and linter using Ispell compatible interface such as GNU Aspell or Hunspell.☆14Jun 26, 2022Updated 4 years ago
- A curated list of low level programming languages (i.e. suitable for OS and game programming)☆13Jun 5, 2024Updated 2 years ago
- Here I'll post notes about Quicklisp projects. Also I publish them on Twitter account svetlyak40wt.☆55Aug 22, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Bots from #lisp☆20Nov 25, 2023Updated 2 years ago
- Multiscale earth mover's distance methods for tree and manifold structured data☆13Mar 8, 2025Updated last year
- ☆14Jun 25, 2026Updated 2 months ago
- Learn Spanish conjugation the easy way☆19Aug 16, 2016Updated 10 years ago
- A Common lisp library providing collector macros☆25May 24, 2024Updated 2 years ago
- Travis builds for certbot.eff.org☆11Jan 19, 2022Updated 4 years ago
- Process memory editing library for Linux☆12Oct 26, 2021Updated 4 years ago
- ☆23Apr 21, 2014Updated 12 years ago
- ☆15Jun 27, 2025Updated last year
- 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.
- Android UDPWii client☆15Jun 16, 2015Updated 11 years ago
- ☆15Jul 9, 2025Updated last year
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated last year
- Tensor package with focus in low rank approximations.☆13Jun 11, 2026Updated 3 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆89Sep 30, 2025Updated 11 months ago
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 5 years ago