AlgebraicJulia/Catlab.jl

Xem trên GitHub

A framework for applied category theory in the Julia language

Star: 724
Fork: 73
Issue cho người mới đang mở: 0
Issue đã lập chỉ mục: 146

Ngôn ngữ chính: Julia
Giấy phép: MIT
Lần push lên GitHub gần nhất: 2/7/2026
Lập chỉ mục gần nhất: 13/9/2026
Hướng dẫn đóng góp: Hướng dẫn đóng góp
Quy tắc ứng xử: Không có quy tắc ứng xử
Label cho người mới: good first issue
Chỉ số merge pull request: Không có pull request nào được merge trong 30 ngày

Đang mở Tất cả

Đã lập chỉ mục 146 issue đang mở

Generic rewriting Đang mở

enhancement GATs

AlgebraicJulia/Catlab.jl#2 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Multiple inheritance of signatures Đang mở

enhancement GATs

AlgebraicJulia/Catlab.jl#3 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Equality expressions Đang mở

enhancement GATs

AlgebraicJulia/Catlab.jl#9 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Nested wiring diagrams in Graphviz Đang mở

enhancement graphics

AlgebraicJulia/Catlab.jl#12 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Programmatic API for signatures and syntax systems Đang mở

AlgebraicJulia/Catlab.jl#15 · 6 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Nested wiring diagrams in Compose.jl/TikZ Đang mở

enhancement graphics

AlgebraicJulia/Catlab.jl#25 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Community standards for mathematical expression trees Đang mở

question

AlgebraicJulia/Catlab.jl#36 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Clean up API docs for stable modules Đang mở

docs good first issue

AlgebraicJulia/Catlab.jl#48 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Looping in Julia programs and traces Đang mở

question wiring diagrams

AlgebraicJulia/Catlab.jl#58 · 7 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Long-form introductions to modules Đang mở

docs

AlgebraicJulia/Catlab.jl#61 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Wire labels for Compose.jl wiring diagrams Đang mở

graphics

AlgebraicJulia/Catlab.jl#71 · 4 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Text metrics for box labels in wiring diagram layout Đang mở

enhancement graphics

AlgebraicJulia/Catlab.jl#72 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Position wire labels to avoid wire crossings Đang mở

graphics

AlgebraicJulia/Catlab.jl#73 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Interoperate with provers for coherent logic Đang mở

question

AlgebraicJulia/Catlab.jl#78 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Calculating hom-sets from a presentation of an SMC Đang mở

enhancement

AlgebraicJulia/Catlab.jl#80 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Standard library of ACT applications Đang mở

question

AlgebraicJulia/Catlab.jl#82 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Emit imports in @signature, @instance, @syntax macros Đang mở

GATs

AlgebraicJulia/Catlab.jl#90 · 1 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Wiring diagrams for closed monoidal categories Đang mở

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#94 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Lambda abstraction in `@program` macro Đang mở

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#96 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Backend-agnostic layout of traces in wiring diagrams Đang mở

enhancement graphics wiring diagrams

AlgebraicJulia/Catlab.jl#99 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Doctrine Inheritance and Presentations Đang mở

GATs question

AlgebraicJulia/Catlab.jl#101 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Two perspectives on composite objects Đang mở

AlgebraicJulia/Catlab.jl#103 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Convert traced wiring diagrams to morphism expressions Đang mở

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#107 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Support for Commutative Diagrams Đang mở

enhancement

AlgebraicJulia/Catlab.jl#108 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
For GLA, @program needs to know that copying is oplus Đang mở

wiring diagrams

AlgebraicJulia/Catlab.jl#116 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Add ∘ operator support in GATs Đang mở

GATs

AlgebraicJulia/Catlab.jl#131 · 4 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Categories enriched in a preorder Đang mở

AlgebraicJulia/Catlab.jl#133 · 2 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Error handling in `@syntax` Đang mở

bug GATs

AlgebraicJulia/Catlab.jl#135 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Support unicode aliases in `@present` Đang mở

bug

AlgebraicJulia/Catlab.jl#136 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
`source` buttons in docs all point to same link Đang mở

docs good first issue

AlgebraicJulia/Catlab.jl#138 · 3 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Lenses Đang mở

enhancement question

AlgebraicJulia/Catlab.jl#139 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Benchmarks for Functor Overhead Đang mở

performance

AlgebraicJulia/Catlab.jl#142 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Integrate Spivak & Schultz's styling of TikZ wiring diagrams Đang mở

good first issue graphics wiring diagrams

AlgebraicJulia/Catlab.jl#145 · 0 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
`@formula` macro like `@program` Đang mở

enhancement

AlgebraicJulia/Catlab.jl#150 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Using Catlab CCC as an implementation of Lambda Calculus Đang mở

wiring diagrams

AlgebraicJulia/Catlab.jl#153 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Dynamical Systems as a Functor Category Đang mở

question

AlgebraicJulia/Catlab.jl#154 · 6 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Markov Experiment Đang mở

AlgebraicJulia/Catlab.jl#155 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Dagger operation in Graphviz Đang mở

graphics

AlgebraicJulia/Catlab.jl#163 · 2 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Roadmap: GAT of GATs Đang mở

GATs

AlgebraicJulia/Catlab.jl#165 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Functor types Đang mở

enhancement

AlgebraicJulia/Catlab.jl#194 · 5 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Wiring diagrams of typed morphisms Đang mở

bug wiring diagrams

AlgebraicJulia/Catlab.jl#200 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Box-specific attributes in Graphviz wiring diagrams Đang mở

enhancement good first issue graphics

AlgebraicJulia/Catlab.jl#211 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Integrate with Julia graph drawing packages Đang mở

good first issue graphics graphs

AlgebraicJulia/Catlab.jl#213 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Convert directed wiring diagrams to undirected ones Đang mở

enhancement wiring diagrams

AlgebraicJulia/Catlab.jl#222 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Permutation groupoid Đang mở

enhancement

AlgebraicJulia/Catlab.jl#231 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Theory and instances for FdVect with both of its monoidal products Đang mở

enhancement

AlgebraicJulia/Catlab.jl#236 · 1 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
LaTeX pretty-printing of GATs Đang mở

enhancement GATs good first issue

AlgebraicJulia/Catlab.jl#243 · 1 bình luận · 0 reaction · 1 người được giao · Lập chỉ mục 13/9/2026
Taking Operad Expression Syntax Seriously Đang mở

question

AlgebraicJulia/Catlab.jl#289 · 1 bình luận · 1 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Utilities for programming with ACSets and Operad Algebras Đang mở

AlgebraicJulia/Catlab.jl#341 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026
Type parameters of free diagrams are too strict Đang mở

cleanup

AlgebraicJulia/Catlab.jl#360 · 0 bình luận · 0 reaction · 0 người được giao · Lập chỉ mục 13/9/2026

AlgebraicJulia/Catlab.jl

Nhận issue mới trong hộp thư của bạn