Alternatives and similar repositories for Knots

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

• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆87Updated 4 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 2 years ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated this week
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆51Updated 9 months ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆114Updated last week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆77Updated this week
• adamwespiser / variational-autoencoders
  Experiments with variational autoencoders in Julia
  ☆17Updated 6 years ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆403Updated last month
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last month
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆91Updated 6 months ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆71Updated this week
• sreahw / schuller-geometric
  Source code for lecture notes
  ☆158Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated last week
• regina-normal / regina
  The main source code for Regina
  ☆39Updated last week
• AlgebraicJulia / AlgebraicOptimization.jl
  ☆19Updated last week
• rivetTDA / rivet
  RIVET is a tool for Topological Data Analysis, in particular two-parameter persistent homology.
  ☆77Updated last year
• rodrgo / OpenPH
  Parallel reduction of boundary matrices for Persistent Homology with CUDA
  ☆32Updated 4 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆170Updated 6 years ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆70Updated 2 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆278Updated last year
• hellpig / SU-tools
  many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets
  ☆13Updated 4 years ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆90Updated 5 months ago
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆110Updated 5 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆220Updated 2 years ago
• thofma / Hecke.jl
  Computational algebraic number theory
  ☆288Updated this week
• henselman-petrusek / Eirene.jl
  Julia library for homological persistence
  ☆126Updated last year