TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
☆25Oct 1, 2025Updated 4 months ago
Alternatives and similar repositories for spath3
Users that are interested in spath3 are comparing it to the libraries listed below
Sorting:
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Dec 26, 2023Updated 2 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 4 years ago
- multilingual dictionary of mathematical terminology☆20Oct 18, 2025Updated 4 months ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- ☆29Jun 23, 2022Updated 3 years ago
- A modern string diagram editor for the web.☆26Apr 22, 2025Updated 10 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆41Jul 30, 2025Updated 7 months ago
- ☆11Oct 25, 2024Updated last year
- A server for the forester tool☆17Dec 10, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- ☆12Jan 4, 2023Updated 3 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆48Dec 22, 2025Updated 2 months ago
- ☆50May 15, 2023Updated 2 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- ☆13Jan 7, 2026Updated last month
- Import SRFI metadata into the Scheme API☆11Jan 19, 2026Updated last month
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- ☆12Feb 11, 2019Updated 7 years ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Cross-platform C++11 header-only library for memory mapped file IO☆15Oct 9, 2025Updated 4 months ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 4 months ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 4 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago