AlgebraicJulia

Pinned Loading

1. Catlab.jl Catlab.jl Public

   A framework for applied category theory in the Julia language

   Julia 726 74

2. ACSets.jl ACSets.jl Public

   ACSets: Algebraic databases as in-memory data structures

   Julia 36 12

3. Decapodes.jl Decapodes.jl Public

   A framework for composing and simulating multiphysics systems

   Julia 91 19

4. GATlab.jl GATlab.jl Public

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

   Julia 43 4

5. AlgebraicPetri.jl AlgebraicPetri.jl Public

   Build Petri net models compositionally

   Julia 94 23

6. AlgebraicRewriting.jl AlgebraicRewriting.jl Public

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

   Julia 41 10