AlgebraicJulia/GATlab.jl
Voir sur GitHubGATlab: a computer algebra system based on generalized algebraic theories (GATs)
- Étoiles
- 43
- Forks
- 4
- Issues débutants ouvertes
- 0
- Issues indexées
- 40
- Langage dominant
- Julia
- Licence
- MIT
- Dernier push GitHub
- 13/6/2026
- Dernière indexation
- 13/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- good first issue
- Métriques de merge des PR
- Aucune PR mergée en 30 j
-
Rewrite Scripts Ouverte
AlgebraicJulia/GATlab.jl#1 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Pushout of theories Ouverteenhancement
AlgebraicJulia/GATlab.jl#2 · 1 commentaire · 0 réactions · 1 personne assignée ·
-
Morphism theories Ouvertegood first issue
AlgebraicJulia/GATlab.jl#3 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Lazy-load library of theories Ouverte
AlgebraicJulia/GATlab.jl#13 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
good first issue
AlgebraicJulia/GATlab.jl#16 · 3 commentaires · 0 réactions · 0 personnes assignées ·
-
Nicer README Ouverte
AlgebraicJulia/GATlab.jl#19 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
C-Sets Ouvertegood first issue
AlgebraicJulia/GATlab.jl#20 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
MTK Integration Ouverte
AlgebraicJulia/GATlab.jl#32 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Namespaced Coproducts Ouverte
AlgebraicJulia/GATlab.jl#34 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicPetri integration Ouverte
AlgebraicJulia/GATlab.jl#35 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
good first issue
AlgebraicJulia/GATlab.jl#36 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Pretty Printing Ouvertegood first issue
AlgebraicJulia/GATlab.jl#37 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
good first issue
AlgebraicJulia/GATlab.jl#38 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicJulia/GATlab.jl#39 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Variadic operations in GATs Ouverte
AlgebraicJulia/GATlab.jl#41 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Tracing of Julia programs Ouverte
AlgebraicJulia/GATlab.jl#45 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
E-graph backed context morphisms Ouverte
AlgebraicJulia/GATlab.jl#46 · 8 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicJulia/GATlab.jl#60 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicJulia/GATlab.jl#61 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicJulia/GATlab.jl#72 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
Designing nested contexts Ouverteinfrastructure math
AlgebraicJulia/GATlab.jl#73 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
infrastructure
AlgebraicJulia/GATlab.jl#78 · 3 commentaires · 0 réactions · 1 personne assignée ·
-
Symbolic constructs Ouverteinfrastructure
AlgebraicJulia/GATlab.jl#80 · 1 commentaire · 0 réactions · 1 personne assignée ·
-
infrastructure
AlgebraicJulia/GATlab.jl#85 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicJulia/GATlab.jl#87 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicJulia/GATlab.jl#103 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Symbolic ODEs Ouverte
AlgebraicJulia/GATlab.jl#122 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
AlgebraicJulia/GATlab.jl#127 · 0 commentaires · 1 réaction · 0 personnes assignées ·
-
Multiple Inheritance Design Ouverte
AlgebraicJulia/GATlab.jl#128 · 0 commentaires · 1 réaction · 0 personnes assignées ·
-
Blog post on basic use of GATlab Ouverte
AlgebraicJulia/GATlab.jl#129 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
documentation
AlgebraicJulia/GATlab.jl#144 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
enhancement
AlgebraicJulia/GATlab.jl#148 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicJulia/GATlab.jl#155 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlgebraicJulia/GATlab.jl#159 · 3 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement
AlgebraicJulia/GATlab.jl#173 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
bug
AlgebraicJulia/GATlab.jl#174 · 1 commentaire · 0 réactions · 1 personne assignée ·
-
enhancement
AlgebraicJulia/GATlab.jl#176 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
bug
AlgebraicJulia/GATlab.jl#181 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Can't use empty type in models Ouvertewontfix
AlgebraicJulia/GATlab.jl#182 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement
AlgebraicJulia/GATlab.jl#186 · 1 commentaire · 0 réactions · 0 personnes assignées ·