AlgebraicJulia/GATlab.jl
GitHub で見るGATlab: a computer algebra system based on generalized algebraic theories (GATs)
- スター
- 43
- フォーク
- 4
- オープンの初心者向け issue
- 0
- 索引済み issue
- 40
- 主要言語
- Julia
- ライセンス
- MIT
- 最終 GitHub push
- 2026年6月13日
- 最新の索引
- 2026年9月13日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- good first issue
- PR マージ指標
- 30日以内にマージされた PR はありません
-
Rewrite Scripts オープン
AlgebraicJulia/GATlab.jl#1 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Pushout of theories オープンenhancement
AlgebraicJulia/GATlab.jl#2 · コメント 1 件 · リアクション 0 件 · 担当者 1 名 ·
-
Morphism theories オープンgood first issue
AlgebraicJulia/GATlab.jl#3 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#13 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
good first issue
AlgebraicJulia/GATlab.jl#16 · コメント 3 件 · リアクション 0 件 · 担当者 0 名 ·
-
Nicer README オープン
AlgebraicJulia/GATlab.jl#19 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
C-Sets オープンgood first issue
AlgebraicJulia/GATlab.jl#20 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
MTK Integration オープン
AlgebraicJulia/GATlab.jl#32 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#34 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#35 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
good first issue
AlgebraicJulia/GATlab.jl#36 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Pretty Printing オープンgood first issue
AlgebraicJulia/GATlab.jl#37 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
good first issue
AlgebraicJulia/GATlab.jl#38 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#39 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#41 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#45 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#46 · コメント 8 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#60 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#61 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#72 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
infrastructure math
AlgebraicJulia/GATlab.jl#73 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
infrastructure
AlgebraicJulia/GATlab.jl#78 · コメント 3 件 · リアクション 0 件 · 担当者 1 名 ·
-
Symbolic constructs オープンinfrastructure
AlgebraicJulia/GATlab.jl#80 · コメント 1 件 · リアクション 0 件 · 担当者 1 名 ·
-
infrastructure
AlgebraicJulia/GATlab.jl#85 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#87 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#103 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Symbolic ODEs オープン
AlgebraicJulia/GATlab.jl#122 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
AlgebraicJulia/GATlab.jl#127 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#128 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#129 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
documentation
AlgebraicJulia/GATlab.jl#144 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
enhancement
AlgebraicJulia/GATlab.jl#148 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#155 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
AlgebraicJulia/GATlab.jl#159 · コメント 3 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement
AlgebraicJulia/GATlab.jl#173 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
bug
AlgebraicJulia/GATlab.jl#174 · コメント 1 件 · リアクション 0 件 · 担当者 1 名 ·
-
enhancement
AlgebraicJulia/GATlab.jl#176 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
bug
AlgebraicJulia/GATlab.jl#181 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
wontfix
AlgebraicJulia/GATlab.jl#182 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement
AlgebraicJulia/GATlab.jl#186 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·