Skip to content

Pull requests: AlgebraicJulia/GATlab.jl

New pull request New
9 Open 74 Closed
9 Open 74 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Roe cleanup
#161 opened Jul 23, 2024 by quffaro Loading…
25
Compute graphs
#160 opened Jul 8, 2024 by olynch Loading…
1
Refactor of AlgTerm/AlgType to use good sumtypes
#158 opened Jul 5, 2024 by olynch Loading…
1
Good sumtypes enhancement New feature or request
#157 opened Jul 3, 2024 by olynch Loading…
1
Directories and Symbolic Resource Sharers enhancement New feature or request
#156 opened Jul 3, 2024 by olynch Loading…
1
Forester autogeneration documentation Improvements or additions to documentation
#149 opened Mar 30, 2024 by kris-brown Loading…
1
Simple theory maps and simple pushouts enhancement New feature or request
#146 opened Mar 16, 2024 by kris-brown • Draft
3
AlgDot and AlgStruct fields use symbols enhancement New feature or request
#140 opened Feb 16, 2024 by kris-brown Loading…
@kris-brown
1
Initial work on combinatorial models of GATs
#135 opened Dec 23, 2023 by kris-brown • Draft
@kris-brown
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.