lennart-finke / knottinghamLinks
A Tool for Drawing Pretty Knots.
☆60Updated last month
Alternatives and similar repositories for knottingham
Users that are interested in knottingham are comparing it to the libraries listed below
Sorting:
- The Lean 4 web editor☆121Updated last week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆239Updated 8 months ago
- Group theory visualization software in the browser☆265Updated last year
- Lean theorem proving interface which feels like pen-and-paper proofs.☆480Updated 3 weeks ago
- Render tikzcd diagrams with JSX.☆61Updated 5 years ago
- A program for drawing knots and links, with support for importing images☆33Updated last year
- ☆38Updated 2 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- Some Lean tutorials☆183Updated 2 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 6 months ago
- A curated list of tools that can be used for creating interactive mathematical explorables.☆246Updated last month
- Server to host lean games.☆350Updated last week
- Use MiniZinc in the browser or with NodeJS☆51Updated 2 months ago
- multilingual dictionary of mathematical terminology☆20Updated last month
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- An introduction to theorem proving in Lean for the impatient.☆306Updated this week
- plasTeX plugin to build formalization blueprints.☆266Updated last week
- Lennard Jones in Lean☆19Updated 4 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆28Updated 11 months ago
- Mathberet is a self-hosted digital mathematics notebook written in React and Typescript, designed for math students who need a platform f…☆186Updated 2 years ago
- An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC☆22Updated 3 years ago
- Visual Studio Code extension for the Lean 4 proof assistant☆241Updated 3 weeks ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 months ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆319Updated 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…☆112Updated this week
- Scientific computing in Lean 4☆439Updated 6 months ago
- This repository contains the source html files for the website complex-analysis.com☆18Updated last week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆313Updated last year
- Course notes for Formalising Mathematics 2025☆78Updated 4 months ago