A Tool for Drawing Pretty Knots.
☆66Oct 30, 2025Updated 6 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
- TikZ driver for tex4ht which uses dvisvgm for the SVG production☆14Jun 2, 2025Updated 11 months ago
- JavaScript knot drawing and identification tool☆11Jul 20, 2016Updated 9 years ago
- GeoGebra Discovery☆27Apr 18, 2026Updated last month
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆26Oct 1, 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.
- Open-Source Runescape Private Server Framework☆16Oct 14, 2019Updated 6 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated 2 years ago
- Android (Wear) application for managing notification vibrations.☆14Mar 22, 2026Updated 2 months ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- Work-break balancer for Windows / MacOS / Linux desktops☆22Updated this week
- A procedurally generated roguelike incremental web based 4x coding game☆14Dec 26, 2016Updated 9 years ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated last month
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A few stylization coreML models that I've trained with CreateML☆14Dec 23, 2021Updated 4 years ago
- Solving Competition Geometry Problems in Lean☆36Aug 26, 2025Updated 8 months ago
- Wordpress integrated with Laravel via Composer. Together, but independents.☆21Sep 4, 2016Updated 9 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20May 4, 2026Updated 2 weeks ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Apr 11, 2026Updated last month
- Kryten is a CLI tool to ask questions and get sourced answers from any .pdf, .doc, .docx, and many more documents.☆15Jan 23, 2024Updated 2 years ago
- JavaScript Gravity simulator☆15Apr 5, 2019Updated 7 years ago
- A Text-Based Game Engine Made for Python☆15Aug 30, 2023Updated 2 years ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 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.
- DeepAo: Efficient Screen Space Ambient Occlusion Generation via Deep Network☆15Jun 3, 2020Updated 5 years ago
- 2D JavaScript car dynamics simulation☆19Feb 2, 2020Updated 6 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆68Nov 17, 2025Updated 6 months ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- Peter Shirley's Ray Tracing in One Weekend recreated with the new Metal ray tracing API☆18Dec 29, 2022Updated 3 years ago
- Extract PDFmark can extract page mode and named destinations as PDFmark from PDF.☆17Jan 11, 2023Updated 3 years ago
- Formalization of IMO shortlist problems in Lean 4☆25May 2, 2026Updated 2 weeks ago
- A JS implementation of Kim Asendorf's pixel sort glitch technique using ndarrays☆37Sep 5, 2014Updated 11 years ago
- epub2sphinx is a tool to convert epub files to ReST for Sphinx☆11Apr 8, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Provides IDE type-hinting for the Screeps API☆15May 21, 2020Updated 6 years ago
- Conservative floating point interval arithmetic in Lean☆25Jan 20, 2026Updated 4 months ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆41Mar 25, 2026Updated last month
- The Charity Public License☆17May 16, 2021Updated 5 years ago
- Formalizing convex polyhedra in Coq☆24Mar 12, 2026Updated 2 months ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago