A Tool for Drawing Pretty Knots.
☆70Jul 1, 2026Updated 2 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:
- TikZ driver for tex4ht which uses dvisvgm for the SVG production☆14Jul 19, 2026Updated 2 months ago
- A program for drawing knots and links, with support for importing images☆38Jan 13, 2024Updated 2 years ago
- Wildbits signaling server.☆13Oct 31, 2023Updated 2 years ago
- Set monad☆19Jun 11, 2023Updated 3 years ago
- AOSC OS package maintenance toolkit (version 4)☆15Updated this week
- 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.
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- Tools for creating binary tarballs☆16Aug 23, 2021Updated 5 years ago
- Convert GitHub project releases to Archlinux package, with autoupdate☆12Sep 2, 2026Updated 3 weeks ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- ☆14Feb 26, 2026Updated 7 months ago
- 2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)☆19Mar 8, 2016Updated 10 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆12Aug 7, 2026Updated last month
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- A tool for controlling AOSC OS packaging environments using multi-layer filesystems and containers (version 3)☆23Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- GeoGebra Discovery☆32Jul 10, 2026Updated 2 months ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Jun 11, 2026Updated 3 months ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆18Jul 10, 2025Updated last year
- Nirah is a project aimed at automatically wrapping verilator C++ models in python in order for high level, extendable control and verific…☆12Mar 6, 2019Updated 7 years ago
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Linear Algebra Done...Lean☆20Jan 15, 2018Updated 8 years ago
- Our first-year mathematics graduate school notes☆11Dec 20, 2021Updated 4 years ago
- 👀☆19Sep 11, 2026Updated 2 weeks ago
- Spatial tile cache that saves its data into the IndexedDB of your browser☆14Jun 1, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆73Sep 1, 2026Updated 3 weeks ago
- A Text-Based Game Engine Made for Python☆15Aug 30, 2023Updated 3 years ago
- ☆15Jun 7, 2022Updated 4 years ago
- Formalization of IMO shortlist problems in Lean 4☆26Sep 18, 2026Updated last week
- Extract PDFmark can extract page mode and named destinations as PDFmark from PDF.☆17Jan 11, 2023Updated 3 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆22Aug 3, 2026Updated last month
- epub2sphinx is a tool to convert epub files to ReST for Sphinx☆11Apr 8, 2023Updated 3 years ago
- The Charity Public License☆17May 16, 2021Updated 5 years ago
- "Infinite" Pong with Two Balls in Jai Compiled to Wasm64☆12Dec 12, 2024Updated last year
- 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.
- Tasty Bits of Several Complex Variables, graduate textbook☆21Sep 14, 2026Updated last week
- Vite plugin for import file with ArrayBuffer or Uint8Array!☆28Jan 24, 2026Updated 8 months ago
- Symbolic Differentiation with Elm☆15Mar 14, 2023Updated 3 years ago
- Pandoc filter to convert math to SVG using MathJax-node's tex2svg☆21Dec 12, 2016Updated 9 years ago
- Bring Typescript types to your run time☆29Nov 16, 2025Updated 10 months ago
- Magic textboxes where you can type math as easily as writing!☆16Jul 13, 2024Updated 2 years ago
- 北航校园网自动登录☆26Apr 14, 2022Updated 4 years ago