AlgebraicJulia/Catlab.jl

Ver no GitHub

A framework for applied category theory in the Julia language

Estrelas: 724
Forks: 73
Issues abertas para iniciantes: 0
Issues indexadas: 146

Linguagem predominante: Julia
Licença: MIT
Último push no GitHub: 2/7/2026
Última indexação: 13/9/2026
Guia de contribuição: Guia de contribuição
Código de conduta: Sem código de conduta
Labels para iniciantes: good first issue
Métricas de merge de PRs: Nenhum PR com merge em 30d

Abertas Todas

146 issues abertas indexadas

Generic rewriting Aberta

enhancement GATs

AlgebraicJulia/Catlab.jl#2 · 2 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Multiple inheritance of signatures Aberta

enhancement GATs

AlgebraicJulia/Catlab.jl#3 · 5 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Equality expressions Aberta

enhancement GATs

AlgebraicJulia/Catlab.jl#9 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Nested wiring diagrams in Graphviz Aberta

enhancement graphics

AlgebraicJulia/Catlab.jl#12 · 2 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Programmatic API for signatures and syntax systems Aberta

AlgebraicJulia/Catlab.jl#15 · 6 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Nested wiring diagrams in Compose.jl/TikZ Aberta

enhancement graphics

AlgebraicJulia/Catlab.jl#25 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Community standards for mathematical expression trees Aberta

question

AlgebraicJulia/Catlab.jl#36 · 5 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Clean up API docs for stable modules Aberta

docs good first issue

AlgebraicJulia/Catlab.jl#48 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Looping in Julia programs and traces Aberta

question wiring diagrams

AlgebraicJulia/Catlab.jl#58 · 7 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Long-form introductions to modules Aberta

docs

AlgebraicJulia/Catlab.jl#61 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Wire labels for Compose.jl wiring diagrams Aberta

graphics

AlgebraicJulia/Catlab.jl#71 · 4 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Text metrics for box labels in wiring diagram layout Aberta

enhancement graphics

AlgebraicJulia/Catlab.jl#72 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Position wire labels to avoid wire crossings Aberta

graphics

AlgebraicJulia/Catlab.jl#73 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Interoperate with provers for coherent logic Aberta

question

AlgebraicJulia/Catlab.jl#78 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Calculating hom-sets from a presentation of an SMC Aberta

enhancement

AlgebraicJulia/Catlab.jl#80 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Standard library of ACT applications Aberta

question

AlgebraicJulia/Catlab.jl#82 · 2 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Emit imports in @signature, @instance, @syntax macros Aberta

GATs

AlgebraicJulia/Catlab.jl#90 · 1 comentário · 1 reação · 0 responsáveis · Indexada em 13/9/2026
Wiring diagrams for closed monoidal categories Aberta

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#94 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Lambda abstraction in `@program` macro Aberta

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#96 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Backend-agnostic layout of traces in wiring diagrams Aberta

enhancement graphics wiring diagrams

AlgebraicJulia/Catlab.jl#99 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Doctrine Inheritance and Presentations Aberta

GATs question

AlgebraicJulia/Catlab.jl#101 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Two perspectives on composite objects Aberta

AlgebraicJulia/Catlab.jl#103 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Convert traced wiring diagrams to morphism expressions Aberta

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#107 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Support for Commutative Diagrams Aberta

enhancement

AlgebraicJulia/Catlab.jl#108 · 2 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
For GLA, @program needs to know that copying is oplus Aberta

wiring diagrams

AlgebraicJulia/Catlab.jl#116 · 2 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Add ∘ operator support in GATs Aberta

GATs

AlgebraicJulia/Catlab.jl#131 · 4 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Categories enriched in a preorder Aberta

AlgebraicJulia/Catlab.jl#133 · 2 comentários · 1 reação · 0 responsáveis · Indexada em 13/9/2026
Error handling in `@syntax` Aberta

bug GATs

AlgebraicJulia/Catlab.jl#135 · 2 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Support unicode aliases in `@present` Aberta

bug

AlgebraicJulia/Catlab.jl#136 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
`source` buttons in docs all point to same link Aberta

docs good first issue

AlgebraicJulia/Catlab.jl#138 · 3 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Lenses Aberta

enhancement question

AlgebraicJulia/Catlab.jl#139 · 5 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Benchmarks for Functor Overhead Aberta

performance

AlgebraicJulia/Catlab.jl#142 · 5 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Integrate Spivak & Schultz's styling of TikZ wiring diagrams Aberta

good first issue graphics wiring diagrams

AlgebraicJulia/Catlab.jl#145 · 0 comentários · 1 reação · 0 responsáveis · Indexada em 13/9/2026
`@formula` macro like `@program` Aberta

enhancement

AlgebraicJulia/Catlab.jl#150 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Using Catlab CCC as an implementation of Lambda Calculus Aberta

wiring diagrams

AlgebraicJulia/Catlab.jl#153 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Dynamical Systems as a Functor Category Aberta

question

AlgebraicJulia/Catlab.jl#154 · 6 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Markov Experiment Aberta

AlgebraicJulia/Catlab.jl#155 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Dagger operation in Graphviz Aberta

graphics

AlgebraicJulia/Catlab.jl#163 · 2 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Roadmap: GAT of GATs Aberta

GATs

AlgebraicJulia/Catlab.jl#165 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Functor types Aberta

enhancement

AlgebraicJulia/Catlab.jl#194 · 5 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Wiring diagrams of typed morphisms Aberta

bug wiring diagrams

AlgebraicJulia/Catlab.jl#200 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Box-specific attributes in Graphviz wiring diagrams Aberta

enhancement good first issue graphics

AlgebraicJulia/Catlab.jl#211 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Integrate with Julia graph drawing packages Aberta

good first issue graphics graphs

AlgebraicJulia/Catlab.jl#213 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Convert directed wiring diagrams to undirected ones Aberta

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#222 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Permutation groupoid Aberta

enhancement

AlgebraicJulia/Catlab.jl#231 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Theory and instances for FdVect with both of its monoidal products Aberta

enhancement

AlgebraicJulia/Catlab.jl#236 · 1 comentário · 0 reações · 0 responsáveis · Indexada em 13/9/2026
LaTeX pretty-printing of GATs Aberta

enhancement GATs good first issue

AlgebraicJulia/Catlab.jl#243 · 1 comentário · 0 reações · 1 responsável · Indexada em 13/9/2026
Taking Operad Expression Syntax Seriously Aberta

question

AlgebraicJulia/Catlab.jl#289 · 1 comentário · 1 reação · 0 responsáveis · Indexada em 13/9/2026
Utilities for programming with ACSets and Operad Algebras Aberta

AlgebraicJulia/Catlab.jl#341 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026
Type parameters of free diagrams are too strict Aberta

cleanup

AlgebraicJulia/Catlab.jl#360 · 0 comentários · 0 reações · 0 responsáveis · Indexada em 13/9/2026

AlgebraicJulia/Catlab.jl

Receba novas issues na sua caixa de entrada