AlgebraicJulia/GATlab.jl
Auf GitHub ansehenGATlab: a computer algebra system based on generalized algebraic theories (GATs)
- Sterne
- 43
- Forks
- 4
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 40
- Vorherrschende Sprache
- Julia
- Lizenz
- MIT
- Letzter GitHub-Push
- 13.6.2026
- Zuletzt indexiert
- 13.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- good first issue
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
-
Rewrite Scripts Offen
AlgebraicJulia/GATlab.jl#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Pushout of theories Offenenhancement
AlgebraicJulia/GATlab.jl#2 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
Morphism theories Offengood first issue
AlgebraicJulia/GATlab.jl#3 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#13 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue
AlgebraicJulia/GATlab.jl#16 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Nicer README Offen
AlgebraicJulia/GATlab.jl#19 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
C-Sets Offengood first issue
AlgebraicJulia/GATlab.jl#20 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
MTK Integration Offen
AlgebraicJulia/GATlab.jl#32 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Namespaced Coproducts Offen
AlgebraicJulia/GATlab.jl#34 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#35 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
good first issue
AlgebraicJulia/GATlab.jl#36 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Pretty Printing Offengood first issue
AlgebraicJulia/GATlab.jl#37 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
good first issue
AlgebraicJulia/GATlab.jl#38 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#39 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#41 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#45 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#46 · 8 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#60 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#61 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#72 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
infrastructure math
AlgebraicJulia/GATlab.jl#73 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
infrastructure
AlgebraicJulia/GATlab.jl#78 · 3 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
Symbolic constructs Offeninfrastructure
AlgebraicJulia/GATlab.jl#80 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
infrastructure
AlgebraicJulia/GATlab.jl#85 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#87 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#103 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Symbolic ODEs Offen
AlgebraicJulia/GATlab.jl#122 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
AlgebraicJulia/GATlab.jl#127 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#128 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#129 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
documentation
AlgebraicJulia/GATlab.jl#144 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
enhancement
AlgebraicJulia/GATlab.jl#148 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#155 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
AlgebraicJulia/GATlab.jl#159 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/GATlab.jl#173 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
bug
AlgebraicJulia/GATlab.jl#174 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person ·
-
enhancement
AlgebraicJulia/GATlab.jl#176 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person ·
-
bug
AlgebraicJulia/GATlab.jl#181 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
wontfix
AlgebraicJulia/GATlab.jl#182 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement
AlgebraicJulia/GATlab.jl#186 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·