Applied Combinatorics by Mitchel T. Keller and William T. Trotter
☆35Apr 9, 2026Updated this week
Alternatives and similar repositories for applied-combinatorics
Users that are interested in applied-combinatorics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jan 8, 2026Updated 3 months ago
- Combinatorics through Guided Discovery☆20Mar 9, 2023Updated 3 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 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.
- Applied Discrete Structures using PreTeXt☆45Apr 1, 2026Updated last week
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- ☆18Feb 16, 2026Updated last month
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆431Updated this week
- Open Source Precollege Algebra Textbook☆22Mar 10, 2026Updated last month
- ☆10May 10, 2016Updated 9 years ago
- Haskell RSA Library☆21Apr 18, 2021Updated 4 years ago
- ☆13Nov 29, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Quantitative analysis of altcoins, or "Bitcoin alternatives."☆10Jan 13, 2015Updated 11 years ago
- Texto do projeto base do Livro Aberto de Matemática. Este é o esforço de professores da Educação Básica e Superior, assim como de entusia…☆10Dec 22, 2016Updated 9 years ago
- ☆14Jul 1, 2025Updated 9 months ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- ☆35Jul 14, 2023Updated 2 years ago
- Some tools for working with digraphs, partial orders and topological sorting with Python☆12Sep 7, 2011Updated 14 years ago
- Emacs package to get soccer fixtures, results, standing table etc☆17Nov 8, 2023Updated 2 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆16Mar 27, 2024Updated 2 years ago
- Douglas Hofstadter's "Typographical Number Theory"☆15Oct 20, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- fanotify cron system☆21Sep 15, 2015Updated 10 years ago
- Package for more easily defining org-agenda-category-icon-alist☆14Dec 27, 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
- A Python program to help me write more Python programs by generating a boilerplate Python program from a Python program template☆11Oct 9, 2015Updated 10 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Feb 20, 2024Updated 2 years ago
- Snobol3 from V6 Unix ported to modern OSes☆10Jan 3, 2017Updated 9 years ago
- My racket things☆22Feb 2, 2012Updated 14 years ago
- an Awk clone☆17Apr 14, 2019Updated 7 years ago
- Notes on Advanced Placement Physics C: Electricity and Magnetism☆12May 13, 2019Updated 6 years 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.
- ☆13Nov 10, 2021Updated 4 years ago
- Defaults setting for vanilla emacs☆15Sep 15, 2020Updated 5 years ago
- XCB-based terminal emulator☆10Aug 12, 2021Updated 4 years ago
- IYPT Projects for Capa Science High School Students☆34Oct 30, 2017Updated 8 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- A blackened and minimalist Emacs theme☆15Aug 28, 2023Updated 2 years ago
- My branch of the Cyclone programming language☆19Jul 8, 2011Updated 14 years ago