GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → AlgebraicJulia → Semagrams.jl

AlgebraicJulia / Semagrams.jl

Licence: MIT license
A graphical editor for graph-like structures

Programming Languages

CSS
56736 projects
Jupyter Notebook
11667 projects
typescript
32286 projects
julia
2034 projects
scala
5932 projects
HTML
75241 projects

Labels

visualizationgraphcategory-theory

Projects that are alternatives of or similar to Semagrams.jl

Discopy
a toolbox for computing with monoidal categories
Stars: ✭ 148 (+196%)
Mutual labels:  category-theory
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Stars: ✭ 14 (-72%)
Mutual labels:  category-theory
SymmetryBookFormalization
Univalent mathematics in Agda
Stars: ✭ 117 (+134%)
Mutual labels:  category-theory
Cql
Categorical Query Language IDE
Stars: ✭ 196 (+292%)
Mutual labels:  category-theory
Every Single Day I Tldr
A daily digest of the articles or videos I've found interesting, that I want to share with you.
Stars: ✭ 249 (+398%)
Mutual labels:  category-theory
hamcat
Category Theory for Programmers の勉強記録
Stars: ✭ 13 (-74%)
Mutual labels:  category-theory
Categories
Categories parametrized by morphism equality, in Agda
Stars: ✭ 141 (+182%)
Mutual labels:  category-theory
ctrs
Category Theory For Programmers (Bartosz Milewski)
Stars: ✭ 62 (+24%)
Mutual labels:  category-theory
monadic-mondays
Code samples for #monadicmonday topics
Stars: ✭ 86 (+72%)
Mutual labels:  category-theory
bewl
A DSL for the internal language of a topos
Stars: ✭ 41 (-18%)
Mutual labels:  category-theory
Fstoolkit.errorhandling
An opinionated F# Library for error handling
Stars: ✭ 200 (+300%)
Mutual labels:  category-theory
Idris Ct
formally verified category theory library
Stars: ✭ 203 (+306%)
Mutual labels:  category-theory
notes-milewski-ctfp-hs
Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Stars: ✭ 32 (-36%)
Mutual labels:  category-theory
Functional Examples
Examples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (+258%)
Mutual labels:  category-theory
cat
A categorical semantics library in Agda.
Stars: ✭ 16 (-68%)
Mutual labels:  category-theory
Lawvere
A categorical programming language with effects
Stars: ✭ 142 (+184%)
Mutual labels:  category-theory
functional-structures-refactoring-kata
Starting code and proposed solution for Functional Structures Refactoring Kata
Stars: ✭ 31 (-38%)
Mutual labels:  category-theory
C3T
C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
Stars: ✭ 26 (-48%)
Mutual labels:  category-theory
cat
A formalization of category theory in cubical Agda
Stars: ✭ 50 (+0%)
Mutual labels:  category-theory
cubical-categories
Category theory formalized in cubical agda
Stars: ✭ 20 (-60%)
Mutual labels:  category-theory
View All Similar Projects ➔

Dev Docs

Semagrams.jl

A graphical editor for graph-like structures.

Trailer:

https://www.youtube.com/watch?v=b1xiY9sznEo

Quickstart:

In a Jupyter notebook

> using Semagrams, Semagrams.Examples

> p = Semagram{ReactionNet{Float64, String}}(ReactionNetSema)

# Edit semagram (see docs)

> get_acset(p)
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].