String diagram visualiser
☆17Mar 15, 2026Updated this week
Alternatives and similar repositories for sd-visualiser
Users that are interested in sd-visualiser are comparing it to the libraries listed below
Sorting:
- Template for a (PhD) thesis☆12Nov 5, 2025Updated 4 months ago
- Battery/charge status for progman☆17Nov 29, 2025Updated 3 months ago
- Multi-Dataflow Composer (MDC) design suite☆11Feb 13, 2026Updated last month
- EHI fork of the es(1) shell☆15Nov 25, 2021Updated 4 years ago
- A deprecated equality saturation tactic for Lean based on egg.☆81Mar 2, 2026Updated 2 weeks ago
- Xilinx Modifications to Halide☆13May 3, 2021Updated 4 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 language and toolset for implementing dataflow applications on FPGAs☆28Updated this week
- Metamath logic game☆10Apr 16, 2025Updated 11 months ago
- ☆11Jan 9, 2025Updated last year
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated last year
- ☆11Oct 31, 2021Updated 4 years ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 3 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- DATE'24 paper: "Hierarchical Source-to-Post-Route QoR Prediction in High-Level Synthesis with GNNs"☆20Dec 10, 2024Updated last year
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- DRA+RISC-V Exploration Framework☆19Jan 8, 2024Updated 2 years ago
- 💎 Article reader for your terminal☆14Sep 17, 2023Updated 2 years ago
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated 6 months ago
- Formally verified x86-64 decompilation☆44Mar 9, 2026Updated last week
- ☆29Nov 29, 2025Updated 3 months ago
- Nano ID☆12Jun 2, 2024Updated last year
- RISCV port of the Slackware distribution☆12Jan 15, 2026Updated 2 months ago
- ghjk is a programmable runtime manager and an attempt at a successor for asdf.☆11Mar 11, 2026Updated last week
- INACTIVE - http://mzl.la/ghe-archive - LayerScope Viewer☆17Mar 28, 2019Updated 6 years ago
- Music library server with support for playlists, crates and a web/mobile frontend☆10Jul 8, 2023Updated 2 years ago
- Ableton remote script to load your devices via clip triggers☆10Apr 12, 2020Updated 5 years ago
- Markdown translation tool.☆17Oct 17, 2022Updated 3 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- An Efficient JavaScript Unification Library☆19Feb 10, 2015Updated 11 years ago
- ☆10Feb 12, 2025Updated last year
- An embedded Rust IDE with an emphasis on a fun and insightful coding experience☆11Sep 23, 2024Updated last year
- Generic Digitizer Framework based on OpenCMW☆13Mar 13, 2026Updated last week
- Implementation of a JMAP Server as specified at http://jmap.io/spec.html☆12Aug 15, 2015Updated 10 years ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- Optimise the sound of your headphones and speakers☆21Updated this week
- MLIR metal dialect☆37Sep 18, 2024Updated last year
- Bring mdb walkers to gdb, also add other helpful commands.☆34Feb 4, 2025Updated last year
- Easily Access and Manage Time Zone Information for Selected Cities.☆15Sep 9, 2024Updated last year