Alternatives and similar repositories for knotkit

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

• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆74Updated 4 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆37Updated 3 weeks ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 8 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated 3 weeks ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆170Updated 6 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆129Updated 2 months ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated last week
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆38Updated 11 years ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 11 years ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 3 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated this week
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 4 months ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆31Updated 4 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated last year
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆28Updated last month
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• shaunharker / CHomP
  CHomP -- Computation Homology Project software
  ☆50Updated last year
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years ago