AlgebraicJulia/Catlab.jl

Ver en GitHub

A framework for applied category theory in the Julia language

Estrellas: 724
Forks: 73
Issues abiertos para principiantes: 0
Issues indexados: 146

Lenguaje dominante: Julia
Licencia: MIT
Último push a GitHub: 2/7/2026
Última indexación: 13/9/2026
Guía de contribución: Guía de contribución
Código de conducta: Sin código de conducta
Etiquetas para principiantes: good first issue
Métricas de merge de PR: Sin PR fusionados en 30 d

Abierto Todos

146 issues indexados hasta ahora

Generic rewriting Abierto

enhancement GATs

AlgebraicJulia/Catlab.jl#2 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Multiple inheritance of signatures Abierto

enhancement GATs

AlgebraicJulia/Catlab.jl#3 · 5 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Equality expressions Abierto

enhancement GATs

AlgebraicJulia/Catlab.jl#9 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Nested wiring diagrams in Graphviz Abierto

enhancement graphics

AlgebraicJulia/Catlab.jl#12 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Programmatic API for signatures and syntax systems Abierto

AlgebraicJulia/Catlab.jl#15 · 6 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Nested wiring diagrams in Compose.jl/TikZ Abierto

enhancement graphics

AlgebraicJulia/Catlab.jl#25 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Community standards for mathematical expression trees Abierto

question

AlgebraicJulia/Catlab.jl#36 · 5 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Clean up API docs for stable modules Abierto

docs good first issue

AlgebraicJulia/Catlab.jl#48 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Looping in Julia programs and traces Abierto

question wiring diagrams

AlgebraicJulia/Catlab.jl#58 · 7 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Long-form introductions to modules Abierto

docs

AlgebraicJulia/Catlab.jl#61 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Wire labels for Compose.jl wiring diagrams Abierto

graphics

AlgebraicJulia/Catlab.jl#71 · 4 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Text metrics for box labels in wiring diagram layout Abierto

enhancement graphics

AlgebraicJulia/Catlab.jl#72 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Position wire labels to avoid wire crossings Abierto

graphics

AlgebraicJulia/Catlab.jl#73 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Interoperate with provers for coherent logic Abierto

question

AlgebraicJulia/Catlab.jl#78 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Calculating hom-sets from a presentation of an SMC Abierto

enhancement

AlgebraicJulia/Catlab.jl#80 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Standard library of ACT applications Abierto

question

AlgebraicJulia/Catlab.jl#82 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Emit imports in @signature, @instance, @syntax macros Abierto

GATs

AlgebraicJulia/Catlab.jl#90 · 1 comentario · 1 reacción · 0 asignados · Indexado el 13/9/2026
Wiring diagrams for closed monoidal categories Abierto

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#94 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Lambda abstraction in `@program` macro Abierto

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#96 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Backend-agnostic layout of traces in wiring diagrams Abierto

enhancement graphics wiring diagrams

AlgebraicJulia/Catlab.jl#99 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Doctrine Inheritance and Presentations Abierto

GATs question

AlgebraicJulia/Catlab.jl#101 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Two perspectives on composite objects Abierto

AlgebraicJulia/Catlab.jl#103 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Convert traced wiring diagrams to morphism expressions Abierto

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#107 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Support for Commutative Diagrams Abierto

enhancement

AlgebraicJulia/Catlab.jl#108 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
For GLA, @program needs to know that copying is oplus Abierto

wiring diagrams

AlgebraicJulia/Catlab.jl#116 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Add ∘ operator support in GATs Abierto

GATs

AlgebraicJulia/Catlab.jl#131 · 4 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Categories enriched in a preorder Abierto

AlgebraicJulia/Catlab.jl#133 · 2 comentarios · 1 reacción · 0 asignados · Indexado el 13/9/2026
Error handling in `@syntax` Abierto

bug GATs

AlgebraicJulia/Catlab.jl#135 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Support unicode aliases in `@present` Abierto

bug

AlgebraicJulia/Catlab.jl#136 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
`source` buttons in docs all point to same link Abierto

docs good first issue

AlgebraicJulia/Catlab.jl#138 · 3 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Lenses Abierto

enhancement question

AlgebraicJulia/Catlab.jl#139 · 5 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Benchmarks for Functor Overhead Abierto

performance

AlgebraicJulia/Catlab.jl#142 · 5 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Integrate Spivak & Schultz's styling of TikZ wiring diagrams Abierto

good first issue graphics wiring diagrams

AlgebraicJulia/Catlab.jl#145 · 0 comentarios · 1 reacción · 0 asignados · Indexado el 13/9/2026
`@formula` macro like `@program` Abierto

enhancement

AlgebraicJulia/Catlab.jl#150 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Using Catlab CCC as an implementation of Lambda Calculus Abierto

wiring diagrams

AlgebraicJulia/Catlab.jl#153 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Dynamical Systems as a Functor Category Abierto

question

AlgebraicJulia/Catlab.jl#154 · 6 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Markov Experiment Abierto

AlgebraicJulia/Catlab.jl#155 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Dagger operation in Graphviz Abierto

graphics

AlgebraicJulia/Catlab.jl#163 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Roadmap: GAT of GATs Abierto

GATs

AlgebraicJulia/Catlab.jl#165 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Functor types Abierto

enhancement

AlgebraicJulia/Catlab.jl#194 · 5 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Wiring diagrams of typed morphisms Abierto

bug wiring diagrams

AlgebraicJulia/Catlab.jl#200 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Box-specific attributes in Graphviz wiring diagrams Abierto

enhancement good first issue graphics

AlgebraicJulia/Catlab.jl#211 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Integrate with Julia graph drawing packages Abierto

good first issue graphics graphs

AlgebraicJulia/Catlab.jl#213 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Convert directed wiring diagrams to undirected ones Abierto

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#222 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Permutation groupoid Abierto

enhancement

AlgebraicJulia/Catlab.jl#231 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Theory and instances for FdVect with both of its monoidal products Abierto

enhancement

AlgebraicJulia/Catlab.jl#236 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
LaTeX pretty-printing of GATs Abierto

enhancement GATs good first issue

AlgebraicJulia/Catlab.jl#243 · 1 comentario · 0 reacciones · 1 asignado · Indexado el 13/9/2026
Taking Operad Expression Syntax Seriously Abierto

question

AlgebraicJulia/Catlab.jl#289 · 1 comentario · 1 reacción · 0 asignados · Indexado el 13/9/2026
Utilities for programming with ACSets and Operad Algebras Abierto

AlgebraicJulia/Catlab.jl#341 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Type parameters of free diagrams are too strict Abierto

cleanup

AlgebraicJulia/Catlab.jl#360 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026

AlgebraicJulia/Catlab.jl

Recibe los nuevos issues en tu correo