A Tool for Drawing Pretty Knots.
☆66Oct 30, 2025Updated 8 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:
- JavaScript knot drawing and identification tool☆11Jul 20, 2016Updated 9 years ago
- GeoGebra Discovery☆28May 25, 2026Updated last month
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Jun 24, 2026Updated last week
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 6 years 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
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 7 months ago
- Folds and sequence algebras☆19Mar 12, 2023Updated 3 years ago
- 东京圣地巡礼/せいち じゅんれい:圣地巡礼是指ACGN爱好者根据自己喜欢的作品，造访故事背景区域，该场所则被称为圣地。这个名词是从朝圣而来的，原先是指宗教上寻觅灵性意义的过程。☆17Sep 6, 2023Updated 2 years ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 2 months ago
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Work-break balancer for Windows / MacOS / Linux desktops☆22Jun 21, 2026Updated last week
- Solving Competition Geometry Problems in Lean☆38Aug 26, 2025Updated 10 months ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Jun 10, 2026Updated 3 weeks ago
- A Lean4 plugin for the Intellij Platform☆22Mar 27, 2026Updated 3 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆35Mar 25, 2026Updated 3 months ago
- 几何表达式仓库☆11Nov 4, 2025Updated 7 months ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 years ago
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- ☆15Jun 7, 2022Updated 4 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.
- The frontend of JLU Mirrors☆20Apr 1, 2026Updated 3 months ago
- 2D JavaScript car dynamics simulation☆19Feb 2, 2020Updated 6 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- Extract PDFmark can extract page mode and named destinations as PDFmark from PDF.☆17Jan 11, 2023Updated 3 years ago
- AOSC Conference!☆25Updated this week
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- epub2sphinx is a tool to convert epub files to ReST for Sphinx☆11Apr 8, 2023Updated 3 years ago
- ☆12Apr 1, 2024Updated 2 years ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆44Mar 25, 2026Updated 3 months 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.
- "Infinite" Pong with Two Balls in Jai Compiled to Wasm64☆12Dec 12, 2024Updated last year
- The Charity Public License☆17May 16, 2021Updated 5 years ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- Symbolic Differentiation with Elm☆15Mar 14, 2023Updated 3 years ago
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago
- a third-party wechat client by vue - 微信第三方网页客户端☆16May 23, 2016Updated 10 years ago
- Generate the necessary data for Linked Data Vocabularies.☆25Jun 18, 2026Updated last week