Alternatives and similar repositories for CombinatoricsNotes:

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

• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 9 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• rmcelreath / CES_rater_2021
  Talk rater model for CES 2021 conference
  ☆14Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated 11 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆40Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆16Updated 2 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆50Updated 11 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 6 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• adobe / Chronikis
  A compiler for Bayesian time series models.
  ☆23Updated 7 months ago
• ocramz / sde
  Numerical experiments with stochastic differential equations
  ☆19Updated 6 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago
• IDSIA / credici
  Credici: Credal Inference for Causal Inference
  ☆16Updated 3 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 4 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last week
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆37Updated 8 years ago
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆81Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated last month
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆20Updated 5 years ago
• gstew5 / games
  ☆9Updated 4 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 8 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆67Updated 2 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• chakravala / Math-Research-Notes
  Theorems, Definitions, Papers, Research
  ☆15Updated 5 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆42Updated 11 years ago