String diagram visualiser
☆19Jun 21, 2026Updated last week
Alternatives and similar repositories for sd-visualiser
Users that are interested in sd-visualiser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Battery/charge status for progman☆18Nov 29, 2025Updated 7 months ago
- Bcadren Crawl: Stone Soup fork official repository☆12Apr 2, 2025Updated last year
- Containerized DCSS Server☆16Updated this week
- EHI fork of the es(1) shell☆16Nov 25, 2021Updated 4 years ago
- Fork of the TagSoup library by John Cowan☆26Nov 6, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An implementation of the promise pattern, as well as fork-join async processing for XQuery 3.1☆25Apr 28, 2016Updated 10 years ago
- Streaming generic JSON to XML converter. Uses XSLT 3.0 XML representation.☆21Aug 31, 2023Updated 2 years ago
- Small editor wrapped on cirru-editor☆14Aug 26, 2016Updated 9 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- A simple analysis tool for complicated XSLT stylesheets☆29Oct 27, 2020Updated 5 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A script for adding hyperlinks to a "Halls of Arden Vul" PDF☆41Apr 15, 2026Updated 2 months ago
- Metamath logic game☆10Updated this week
- ☆11Jan 9, 2025Updated last year
- 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.
- Reference implementation of FOXpath 3.0, an extended version of XPath 3.0 supporting file system navigation.☆25Mar 20, 2026Updated 3 months ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 3 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- SQLite bindings for Lean☆46Jun 18, 2026Updated last week
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Performance comparison wasm canvas with html canvas☆13May 15, 2025Updated last year
- A delightful, type-safe web framework for Bun☆27Jun 15, 2026Updated 2 weeks ago
- Formally verified x86-64 decompilation☆51Jun 10, 2026Updated 2 weeks ago
- Slides / information from my talks☆20Feb 8, 2026Updated 4 months 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.
- ☆12Dec 16, 2025Updated 6 months ago
- Nano ID☆12Jun 2, 2024Updated 2 years ago
- A low-resource native app for sharing space with co-workers and friends.☆17Feb 20, 2025Updated last year
- ghjk is a programmable runtime manager and an attempt at a successor for asdf.☆10Mar 11, 2026Updated 3 months ago
- Ableton remote script to load your devices via clip triggers☆10Apr 12, 2020Updated 6 years ago
- A crate that provides a websocket networking transport layer for Bevy_eventwork that supports WASM and Native.☆13Mar 27, 2025Updated last year
- sketch + search = skrch☆21Apr 4, 2013Updated 13 years ago
- Finds objects missing from the OpenStreetMap DB☆10Jun 20, 2026Updated last week
- Firefox DevTools Reps☆11May 2, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Markdown translation tool.☆17Oct 17, 2022Updated 3 years ago
- Scaling safe exploration to vision control☆14Feb 19, 2025Updated last year
- 🐉 Hail Hydra — Multi-headed speculative execution framework for Claude Code. 10 AI agents, 3x faster, ~70% cheaper. Inspired by speculat…☆44Jun 11, 2026Updated 2 weeks ago
- Webapp to encrypt-decrypt with PGP for FirefoxOS☆10May 7, 2020Updated 6 years ago
- ☆10Feb 12, 2025Updated last year
- Main server portion of Bongo mail/calendar server☆11Jan 10, 2025Updated last year
- ☆23Jan 12, 2026Updated 5 months ago