A program for drawing knots and links, with support for importing images
☆38Jan 13, 2024Updated 2 years ago
Alternatives and similar repositories for knotfolio
Users that are interested in knotfolio 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 tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- Our first-year mathematics graduate school notes☆12Dec 20, 2021Updated 4 years ago
- A mathquill-like interactive math input in a terminal, built with the charm TUI library.☆10Sep 11, 2026Updated last month
- A Python package for analysing knots and links, in space-curves or from standard topological notations☆49Feb 19, 2023Updated 3 years ago
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- Duality theory in linear optimization and its extensions☆12Feb 26, 2026Updated 8 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Homebrew tap for GAP☆19Oct 5, 2026Updated 3 weeks ago
- i18n library for Lean.☆14Oct 22, 2026Updated last week
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Sep 21, 2020Updated 6 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- A tool for drawing 2d diagrams, 3d knots, Seifert surfaces. Computes some knot properties and invariants.☆20Dec 12, 2021Updated 4 years ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆37Updated this week
- 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.
- Tools based on AI for helping with Lean 4☆125Aug 3, 2026Updated 2 months ago
- ☆16Aug 26, 2026Updated 2 months ago
- An interactive fiction engine written in Python☆14Oct 20, 2014Updated 12 years ago
- ☆15Oct 21, 2020Updated 6 years ago
- A Python module to manipulate and simplify grid diagrams☆12Feb 6, 2025Updated last year
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 6 years ago
- World's fastest FRACTRAN interpeter☆16May 11, 2026Updated 5 months ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- ☆13Oct 31, 2021Updated 5 years ago
- 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.
- Schemes in Lean (v2)☆46Jul 30, 2020Updated 6 years ago
- ☆17Oct 20, 2026Updated last week
- Matlab package for circle packing☆19Aug 19, 2026Updated 2 months ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆14Sep 16, 2026Updated last month
- Simple example of calling Python from Scala using Jep inside an SBT build environment.☆12Nov 11, 2012Updated 13 years ago
- This repository is now obsolete☆11Sep 29, 2012Updated 14 years ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 7 years ago
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A unifying framework for linear temporal logics in Lean☆21Oct 21, 2026Updated last week
- https://momo5502.com/slides/denuvo☆12Nov 4, 2025Updated 11 months ago
- 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…☆124Oct 26, 2026Updated last week
- Tasty Bits of Several Complex Variables, graduate textbook☆21Sep 28, 2026Updated last month
- Repo for Advanced Use of LAMMPS course☆10Jan 17, 2024Updated 2 years ago
- Lean 4 bindings to libcurl☆15Feb 3, 2026Updated 8 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆44Feb 14, 2026Updated 8 months ago