Alternatives and similar repositories for CombinatoricsNotes

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

• chasenorman / Formalized-Voting
  ☆13Updated 4 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
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆32Updated 11 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 6 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 4 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 7 years ago
• byorgey / species
  ☆17Updated last month
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 9 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated last week
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Updated 4 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆28Updated last year