AlgebraicJulia/AlgebraicRewriting.jl
Xem trên GitHubImplementations of algebraic rewriting techniques like DPO, SPO, SqPO.
- Star
- 41
- Fork
- 9
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 18
- Ngôn ngữ chính
- Julia
- Giấy phép
- MIT
- Lần push lên GitHub gần nhất
- 1/6/2026
- Lập chỉ mục gần nhất
- 13/9/2026
- Hướng dẫn đóng góp
- Không có 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
- Chưa lập chỉ mục label nào cho người mới
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
-
Rules to ODEs Đang mởenhancement
AlgebraicJulia/AlgebraicRewriting.jl#19 · 5 bình luận · 0 reaction · 1 người được giao ·
-
AlgebraicJulia/AlgebraicRewriting.jl#27 · 0 bình luận · 0 reaction · 0 người được giao ·
-
AlgebraicJulia/AlgebraicRewriting.jl#30 · 0 bình luận · 0 reaction · 1 người được giao ·
-
benchmark with Agents.jl Đang mởenhancement
AlgebraicJulia/AlgebraicRewriting.jl#42 · 1 bình luận · 0 reaction · 1 người được giao ·
-
enhancement
AlgebraicJulia/AlgebraicRewriting.jl#44 · 0 bình luận · 0 reaction · 1 người được giao ·
-
AlgebraicJulia/AlgebraicRewriting.jl#51 · 1 bình luận · 0 reaction · 0 người được giao ·
-
Parallel independence Đang mở
AlgebraicJulia/AlgebraicRewriting.jl#60 · 1 bình luận · 0 reaction · 1 người được giao ·
-
C-Par rewriting Đang mởenhancement
AlgebraicJulia/AlgebraicRewriting.jl#61 · 2 bình luận · 0 reaction · 1 người được giao ·
-
enhancement
AlgebraicJulia/AlgebraicRewriting.jl#63 · 0 bình luận · 1 reaction · 1 người được giao ·
-
serializing rules Đang mở
AlgebraicJulia/AlgebraicRewriting.jl#67 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Patch graph rewriting Đang mởenhancement
AlgebraicJulia/AlgebraicRewriting.jl#70 · 2 bình luận · 0 reaction · 1 người được giao ·
-
Bug in `new_nac_homs!` Đang mởbug
AlgebraicJulia/AlgebraicRewriting.jl#78 · 1 bình luận · 0 reaction · 1 người được giao ·
-
Sigma migrations Đang mởbug
AlgebraicJulia/AlgebraicRewriting.jl#79 · 1 bình luận · 0 reaction · 1 người được giao ·
-
Dynamic influence networks Đang mởenhancement
AlgebraicJulia/AlgebraicRewriting.jl#83 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Strengthening agent shapes Đang mở
AlgebraicJulia/AlgebraicRewriting.jl#87 · 0 bình luận · 0 reaction · 0 người được giao ·
-
AlgebraicJulia/AlgebraicRewriting.jl#92 · 2 bình luận · 0 reaction · 0 người được giao ·
-
AlgebraicJulia/AlgebraicRewriting.jl#93 · 0 bình luận · 0 reaction · 0 người được giao ·
-
AlgebraicJulia/AlgebraicRewriting.jl#94 · 0 bình luận · 0 reaction · 0 người được giao ·