AlgebraicJulia

icon indicating a website link https://www.algebraicjulia.org

icon location An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia

Results 12 repositories owned by AlgebraicJulia

AlgebraicRewriting.jl

24
Stars
5
Forks
Watchers

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

verified publisher icon AlgebraicJulia

GATlab.jl

17
Stars
2
Forks
Watchers

GATlab: a computer algebra system based on generalized algebraic theories (GATs)

verified publisher icon AlgebraicJulia