Skip to content

Pull requests: AlgebraicJulia/GATlab.jl

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Default model
#166 opened Nov 20, 2024 by kris-brown Draft
Roe cleanup
#161 opened Jul 23, 2024 by quffaro Loading…
Compute graphs
#160 opened Jul 8, 2024 by olynch Loading…
Refactor of AlgTerm/AlgType to use good sumtypes
#158 opened Jul 5, 2024 by olynch Loading…
Good sumtypes enhancement New feature or request
#157 opened Jul 3, 2024 by olynch Loading…
Directories and Symbolic Resource Sharers enhancement New feature or request
#156 opened Jul 3, 2024 by olynch Loading…
Forester autogeneration documentation Improvements or additions to documentation
#149 opened Mar 30, 2024 by kris-brown Loading…
Simple theory maps and simple pushouts enhancement New feature or request
#146 opened Mar 16, 2024 by kris-brown Draft
AlgDot and AlgStruct fields use symbols enhancement New feature or request
#140 opened Feb 16, 2024 by kris-brown Loading…
ProTip! Updated in the last three days: updated:>2024-11-28.