Alternatives and similar repositories for CombinatoricsNotes

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

• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 6 months ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 6 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• cmu-phil / Spectral
  ☆48Updated 2 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆29Updated 9 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 7 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 weeks ago
• OPLSS / oplss-notes-2021
  Materials for OPLSS 2021
  ☆11Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• maciej-bendkowski / generic-boltzmann-brain
  Analytic sampler framework for algebraic data types
  ☆16Updated 2 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆48Updated 4 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆65Updated last year
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆15Updated 3 weeks ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆28Updated last year
• suyjuris / obst
  Online BDD Simulation Tool
  ☆24Updated 4 months ago
• bollu / coremlir
  Encoding of GHC Core inside MLIR
  ☆19Updated 5 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 4 months ago