A Tool for Drawing Pretty Knots.
☆64Oct 30, 2025Updated 5 months ago
Alternatives and similar repositories for knottingham
Users that are interested in knottingham are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A program for drawing knots and links, with support for importing images☆33Jan 13, 2024Updated 2 years ago
- JavaScript knot drawing and identification tool☆10Jul 20, 2016Updated 9 years ago
- GeoGebra Discovery☆27Apr 3, 2026Updated last week
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Mar 31, 2026Updated last week
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated 2 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 10 months ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- Provide smarter tab names form Atom editor.☆14Dec 14, 2015Updated 10 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆15Feb 8, 2024Updated 2 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Dec 28, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Formalisation of the Kelley-Meka bound on Roth numbers☆21Apr 1, 2026Updated last week
- Work-break balancer for Windows / MacOS / Linux desktops☆22Sep 13, 2025Updated 6 months ago
- JavaScript automated mouse cursor for web presentation☆22Sep 22, 2023Updated 2 years ago
- This project is to list the best books, courses, tutorial, methods on learning certain knowledge☆11Mar 22, 2021Updated 5 years ago
- Python Braid Generator Package☆10Jul 23, 2021Updated 4 years ago
- ☆15Dec 22, 2023Updated 2 years ago
- A Python module to manipulate and simplify grid diagrams☆12Feb 6, 2025Updated last year
- 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…☆116Mar 18, 2026Updated 3 weeks ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Vite plugin for import file with ArrayBuffer or Uint8Array!☆27Jan 24, 2026Updated 2 months ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 7 years ago
- ☆22Dec 3, 2024Updated last year
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Updated this week
- Virtual notebook that Evan uses for his PhD thesis.☆10Updated this week
- Converts simple LaTeX to an unicode approximation (going beyond unicodeit)☆28Jul 2, 2023Updated 2 years ago
- Spatial tile cache that saves its data into the IndexedDB of your browser☆14Jun 1, 2023Updated 2 years ago
- Discrete Elastic Rods (GPU version)☆14Aug 19, 2025Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 几何表达式仓库☆11Nov 4, 2025Updated 5 months ago
- A Text-Based Game Engine Made for Python☆15Aug 30, 2023Updated 2 years ago
- Lennard Jones in Lean☆22Jul 14, 2025Updated 8 months ago
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated last year
- ☆15Jun 7, 2022Updated 3 years ago
- Another Instagram Bot☆12Jan 21, 2018Updated 8 years ago
- egui toolkit☆19Sep 28, 2023Updated 2 years ago