A TikZ library of wiring diagrams
☆22Feb 19, 2019Updated 7 years ago
Alternatives and similar repositories for TikZWD
Users that are interested in TikZWD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Oct 30, 2023Updated 3 years ago
- A simplified Catlab.jl for teaching☆12May 15, 2024Updated 2 years ago
- The Compositionality article class.☆14Mar 16, 2026Updated 7 months ago
- Simplest simulation to use non-Exponential transitions☆11Jul 17, 2026Updated 3 months ago
- ☆13Sep 5, 2020Updated 6 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.
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Theories of social science expressed in Catlab.jl formalisms☆16Mar 21, 2021Updated 5 years ago
- A graphical editor for graph-like structures☆109Dec 18, 2023Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Oct 30, 2023Updated 3 years ago
- ☆57May 19, 2024Updated 2 years ago
- CoDi: Commutative Diagrams for TeX☆32Jul 22, 2025Updated last year
- Create string diagrams with LaTeX!☆14Updated this week
- A modern string diagram editor for the web.☆27Apr 22, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ACSets: Algebraic databases as in-memory data structures☆38Oct 3, 2026Updated last month
- ☆27May 6, 2024Updated 2 years ago
- ☆139Jul 17, 2024Updated 2 years ago
- A fornalisation of Grobner basis in ssreflect☆12Sep 15, 2026Updated last month
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- A D4M module for Julia. D4M was developed in MATLAB by Dr Jeremy Kepner.☆12Sep 10, 2019Updated 7 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 3 years ago
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 3 months ago
- GitHub Pages template for academic websites using Franklin.jl☆10Dec 30, 2025Updated 10 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.
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated 2 years ago
- Categorical logic from a categorical point of view☆82Oct 19, 2023Updated 3 years ago
- Convert any Musescore link into a printable PDF☆24Jun 29, 2024Updated 2 years ago
- ☆21Mar 21, 2022Updated 4 years ago
- Haskell library for doing category theory with a central role for profunctors☆32Updated this week
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 10 months ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Updated this week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆43Jun 13, 2026Updated 4 months ago
- ☆11Sep 10, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆13Sep 14, 2026Updated last month
- Parsec orgmode parser implemented by Brent Yorgey☆11Mar 16, 2014Updated 12 years ago
- Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)☆12Nov 22, 2019Updated 6 years ago
- General-purpose utility library for Swift☆14Feb 17, 2025Updated last year
- Proc-macro to write an automatic fix for the "hidden lifetime in impl Trait" issue☆11Nov 22, 2024Updated last year
- A formalisation of Restriction Categories in Agda☆12Sep 15, 2016Updated 10 years ago
- ACT community resources☆473Nov 26, 2019Updated 6 years ago
Are these results useful?