Visual Category Theory Studio — draw commutative diagrams, 2-cells, adjunctions and 3D cubes in the browser; export SVG, PNG and tikz-cd. Concept by Dmitry Vostokov, DumpAnalysis.org
☆22Sep 21, 2026Updated last month
Alternatives and similar repositories for CategoryTheoryStudio
Users that are interested in CategoryTheoryStudio are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A static site generator for SiYuan Note (思源笔记) app☆15Oct 18, 2025Updated last year
- meteora / meteora dlmm / meteora dlmm bot / meteora dlmm copy trade bot / meteora dlmm trade bot / meteora trade bot / meteora bot / pump…☆18Sep 15, 2025Updated last year
- ☆15Updated this week
- ☆13May 31, 2026Updated 4 months ago
- A RFC Compliant Verified DNS server☆13Jul 17, 2026Updated 3 months 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.
- ☆18Jun 24, 2026Updated 4 months ago
- A research framework for studying how multi-agent LLM teams complete software tasks given different team structures and sizes.☆16Apr 16, 2026Updated 6 months ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- AutoGEPA automates the tedious parts of setting up a DSPy optimization pipeline: converting raw data into dspy.Examples, generating a met…☆19Jul 4, 2026Updated 3 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- Clone of www.stockfighter.io server☆14Mar 20, 2016Updated 10 years ago
- Simple meeting diarization and speaker id assistant for meetings.☆12Feb 10, 2025Updated last year
- Power series, power serious☆12Apr 21, 2025Updated last year
- CMake module for building drivers with Windows Development Kit (WDK)☆10Jun 27, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- sandbox demo☆11Jan 18, 2024Updated 2 years ago
- Demonstrate, practice and learn Filters, WikiText and CSS in TiddlyWiki☆11Nov 17, 2024Updated last year
- Table-driven lexer for Erlang☆12Oct 5, 2021Updated 5 years ago
- Tesseract.md – Featurerich Markdown Editor and Graph Vizsualization with Obsidian-like and Notion-like Experience. Powered by mdvdb CLI f…☆19Aug 19, 2026Updated 2 months ago
- Cookbook for working with Nix☆13Jan 10, 2015Updated 11 years ago
- Unofficial linkedIn Rust library and CLI☆27Mar 27, 2026Updated 6 months ago
- Tooling for a Pandoc-based workflow with Logseq☆11Sep 20, 2022Updated 4 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- Scala, DSL, Rules based reactive workflows and Microservices☆14Sep 23, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An RSS reader built with Rust, Go and Typescript☆10May 25, 2026Updated 5 months ago
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?☆11Jun 27, 2025Updated last year
- Proximity Prize for Smooth Reed-Solomon Domains☆17Jul 29, 2026Updated 2 months ago
- Beer Game implemented as an OpenAI gym environment.☆17Aug 4, 2019Updated 7 years ago
- This tool helps users test prompt injections for good that help combat shadow AI. The tool allows users to generate injected documents, t…☆13Oct 24, 2025Updated last year
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated 2 years ago
- DSPy: The framework for programming—not prompting—language models☆17Oct 4, 2026Updated 3 weeks ago
- Backpack Exchange API Client Library for TypeScript☆13Sep 5, 2026Updated last month
- Inspired by syn, elm-ast is a Rust library for parsing and constructing Elm 0.19.1 ASTs.☆16Aug 14, 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.
- A simple flexbox layout C library☆21May 16, 2026Updated 5 months ago
- A sane, batteries-included starter template for running NixOS on Hetzner Robot☆19Feb 9, 2024Updated 2 years ago
- What's an ensemble of leaders? A riak_governor.☆10Apr 13, 2015Updated 11 years ago
- Simile Exhibit with python events☆12Jun 24, 2023Updated 3 years ago
- A curated list of awesome GitHub Blocks resources.☆19Nov 30, 2022Updated 3 years ago
- Example of compiling Pony code to a C library☆10Aug 1, 2017Updated 9 years ago
- ☆15May 2, 2016Updated 10 years ago