Alternatives and similar repositories for knot-identification-tool

Users that are interested in knot-identification-tool are comparing it to the libraries listed below

• lennart-finke / knottingham
  A Tool for Drawing Pretty Knots.
  ☆50Updated 3 months ago
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• mauriciopoppe / interval-arithmetic
  An implementation of an algebraically closed interval system of the extended real number set
  ☆93Updated last month
• ysulyma / lv-tutorial-math
  Math-specific tutorial/sample project for Liqvid
  ☆22Updated 2 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆37Updated 2 years ago
• jgm / pandoc-tex2svg
  Pandoc filter to convert math to SVG using MathJax-node's tex2svg
  ☆20Updated 8 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆91Updated last month
• mattdesl / gh-md-urls
  find and resolve URLs in GitHub Markdown
  ☆13Updated 9 years ago
• drever / ct-consciousness
  ☆16Updated 11 months ago
• Torvaney / flow-solver
  Solving the "Flow Free" game (mobile app) with Clojure and SAT
  ☆11Updated 5 years ago
• ryankaplan / woot-collaborative-editor
  A real time collaboration toy project based on WOOT. Implemented with node.js and ws.
  ☆25Updated 8 years ago
• exsitu-projects / lorgnette
  👓 Lorgnette is a framework to create code editors with malleable projections of pieces of code.
  ☆17Updated last year
• jsomers / draftback
  Get fine-grained feedback on your writing, fast.
  ☆30Updated 15 years ago
• dmishin / singlerot-smooth
  "Single Rotation" cellular automaton demonstration with Lanczos smoothing
  ☆21Updated 10 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• leanprover / leanprover.github.io
  www
  ☆16Updated last year
• google / formal-ml
  ☆26Updated 4 years ago
• stepan-mitkin / lift-demo
  An interactive demo of automata-based programming in DRAKON
  ☆17Updated 6 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• b-mehta / unit-fractions
  ☆15Updated last year
• fpoli / python-astexport
  Export Python AST to JSON
  ☆26Updated 3 years ago
• NGimbal / sdfui
  Drafting with signed distance fields
  ☆28Updated 2 years ago
• cemulate / nearley-generator
  Turn a Nearley grammar into an efficient fake-text generator
  ☆22Updated 4 years ago
• imsky / packdown
  Files in Markdown.
  ☆17Updated 8 months ago
• timhutton / mandelstir
  Animating fractional iterations in the Mandelbrot Set and Julia Sets.
  ☆26Updated 4 years ago
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆20Updated last week