Alternatives and similar repositories for CombinatoricsNotes:

Users that are interested in CombinatoricsNotes are comparing it to the libraries listed below

• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆28Updated 9 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 3 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆24Updated 3 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 6 years ago
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆20Updated 9 years ago
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆16Updated 9 years ago
• friedbrice / AutoDiff
  Code snippets accompanying the talk "Automatic Differentiation in Haskell."
  ☆19Updated 4 years ago
• mattecapu / categorical-systems-theory
  ☆36Updated 7 months ago
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 6 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 4 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 2 months ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago