[go: up one dir, main page]
Skip to content
@AlgebraicJulia

AlgebraicJulia

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

Pinned Loading

  1. Catlab.jl Catlab.jl Public

    A framework for applied category theory in the Julia language

    Julia 614 58

  2. ACSets.jl ACSets.jl Public

    ACSets: Algebraic databases as in-memory data structures

    Julia 19 8

  3. Decapodes.jl Decapodes.jl Public

    A framework for composing and simulating multiphysics systems

    Julia 50 14

  4. GATlab.jl GATlab.jl Public

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

    Julia 24 2

  5. AlgebraicPetri.jl AlgebraicPetri.jl Public

    Build Petri net models compositionally

    Julia 76 21

  6. AlgebraicRewriting.jl AlgebraicRewriting.jl Public

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

    Julia 26 5

Repositories

Showing 10 of 56 repositories
View all repositories

Most used topics

Loading…