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:
- WebGraph is a framework for graph compression.☆18Jun 22, 2025Updated last year
- 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
- ☆22May 25, 2017Updated 9 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Aug 3, 2026Updated 3 weeks ago
- Vim dot files☆11Nov 19, 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.
- Portability library for the extensible sequences protocol☆16May 18, 2026Updated 3 months ago
- Additional algorithms for the `SimpleGraphs` module that rely on integer programming☆14Nov 24, 2025Updated 9 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 last month
- A curated biochemical database that integrates and refines data from KEGG and ATLAS databases to support precise analyses of biochemical …☆16May 13, 2026Updated 3 months ago
- Agda language support for the Atom editor☆13Sep 16, 2020Updated 5 years ago
- A wrapper of mdfind☆15Aug 18, 2026Updated last week
- UTF-8 encoded strings as Lisp sequences☆14Dec 9, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🎵 Simple music player for Atom.☆14Apr 24, 2023Updated 3 years ago
- Invokes Zotero visual picker and inserts citation(s)☆12Aug 10, 2019Updated 7 years ago
- Rust library for conversion to/from proquints☆13Feb 9, 2018Updated 8 years ago
- Code for paper "Principled feature attribution for unsupervised gene expression analysis"☆13Mar 7, 2023Updated 3 years ago
- Define maxima-file component to handle Maxima files in ASDF.☆13Jan 18, 2024Updated 2 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
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Here I'll post notes about Quicklisp projects. Also I publish them on Twitter account svetlyak40wt.☆55Aug 22, 2026Updated last week
- ☆14Jun 25, 2026Updated 2 months ago
- Atom syntax highlighting for Weave.jl and Pweave documents. Currently supports markdown input formats.☆21Apr 17, 2023Updated 3 years 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
- Tiny CL library to retrieve the arguments list of a function.☆25May 18, 2026Updated 3 months ago
- A Game of Life written in Purescript using Rx and React/canvas/console UIs.☆10Dec 9, 2016Updated 9 years ago
- Android UDPWii client☆15Jun 16, 2015Updated 11 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.
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated 11 months ago
- Tensor package with focus in low rank approximations.☆13Jun 11, 2026Updated 2 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆88Sep 30, 2025Updated 11 months ago
- Official Repository for "Unbalancedness in Neural Monge Maps Improves Unpaired Domain Translation" [ICLR 2024]☆18May 15, 2024Updated 2 years ago
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- A Rust string splitter taking quotes into account☆16Aug 3, 2024Updated 2 years ago
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 5 years ago