James Fairbanks
James Fairbanks
This cool category theory package uses graphviz to draw diagrams. We could do something similar for metagraphs. https://github.com/epatters/Catlab/blob/master/src/graphics/Graphviz.jl
I really like writing in Franklin, is there a way to use all the features of features of franklin's MD+Latex syntax such as commands and environments, but get out something...
In [traversals](https://github.com/JuliaGraphs/Graphs.jl/blob/master/src/traversals/bfs.jl) we use `dir=[:in,:out]` to tell functions to use in or out neighbors. We should probably have a more systematic approach based on a type like `ReverseGraph{G}
Variation of information can be normalized in different ways based on the properties of the application. I added a symbol argument to specify this normalization to the `varinfo` function and...
These macros create modules that require that you imported the functions like ` import Catlab.Doctrines: otimes, ⊗, id, braid, dom, codom, compose, mmerge, create, delete, mcopy` in order to create...
I just spent waay too long debugging a new syntax I made. MWE: ```julia @theory BiproductCategory(Ob, Hom) => Epidemiology(Ob, Hom) begin spontaneous(A::Ob, B::Ob)::Hom(A,B) end @syntax FreeEpidemiology(ObExpr, HomExpr) begin compose(f::Hom, g::Hom)...
@epatters @mehalter @bosonbaas, here are some tasks I think we should address for the next push on Catlab (aka Gatlab). - [ ] CT constructions - [ ] Product/Sum -...
It would be great to pretty print a Theory with all of its inherited type/term constructors. I find myself executing the inheritance algorithm by hand when reading the source code....
Given the new `@free_diagram` tools in #580, we should be able to do really big systems of equations in Vect. Maybe the Kallman filter is a good example of an...
@epatters, @bosonbaas, this snippet does the composition of UWDs with renaming of the variables via the outer ports like we discussed for the composition of equations. I've tested it on...