ggazzi/category-diagram-editor ggazzi/category-diagram-editor

  • This repository has been archived on 24/Sep/2022
  • Stars
    star
    1
  • Language
    Elm
  • License
    MIT License
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ggazzi/category-diagram-editor
github

ggazzi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An editor for category theory diagrams

More Repositories

1

dev-cli-utils

A structured set of scripts to help with software development
Shell
2
star
2

elm-graph-diagrams

A library for drawing interactive graph-based diagrams.
Elm
2
star
3

latex-templates

Collection of LaTeX project templates.
Python
2
star
4

dotfiles

My configuration files for NixOS, MacOS and home-manager
Lua
1
star