Alternatives and similar repositories for Knots:

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

• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 4 months ago
• adamwespiser / variational-autoencoders
  Experiments with variational autoencoders in Julia
  ☆16Updated 5 years ago
• dselsam / lean-python-bindings
  Python Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆13Updated 7 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆47Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 4 months ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆79Updated 5 months ago
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆189Updated last year
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 5 months ago
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆82Updated 4 months ago
• teorth / symmetric_project
  ☆86Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆52Updated last week
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆44Updated last week
• JuliaHomotopyContinuation / HomotopyContinuation.jl
  A Julia package for solving systems of polynomials via homotopy continuation.
  ☆191Updated this week
• 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…
  ☆96Updated last week
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆60Updated last week
• rivetTDA / rivet
  RIVET is a tool for Topological Data Analysis, in particular two-parameter persistent homology.
  ☆77Updated 11 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆44Updated 9 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆31Updated last year
• wildart / TDA.jl
  A Julia package for topological data analysis
  ☆38Updated 4 years ago
• regina-normal / regina
  The main source code for Regina
  ☆36Updated this week
• henselman-petrusek / Eirene.jl
  Julia library for homological persistence
  ☆117Updated last month
• JuliaSymbolics / TermInterface.jl
  Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
  ☆38Updated 3 months ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago