Skip to content
View p-stokes's full-sized avatar

Block or report p-stokes

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. ModelExploration.jl ModelExploration.jl Public

    Forked from AlgebraicJulia/ModelExploration.jl

    Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.

    Julia

  2. AlgebraicRewriting.jl AlgebraicRewriting.jl Public

    Forked from AlgebraicJulia/AlgebraicRewriting.jl

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

    Julia

  3. AlgebraicPetri.jl AlgebraicPetri.jl Public

    Forked from AlgebraicJulia/AlgebraicPetri.jl

    Build Petri net models compositionally

    Julia

  4. Petri.jl Petri.jl Public

    Forked from AlgebraicJulia/Petri.jl

    A Petri net modeling framework for the Julia programming language

    Julia

  5. Structured-Epidemic-Modeling Structured-Epidemic-Modeling Public

    Forked from AlgebraicJulia/Structured-Epidemic-Modeling

    Results and software for our paper on structured epidemic modeling

    Jupyter Notebook

  6. Computational-Category-Theoretic-Rewriting Computational-Category-Theoretic-Rewriting Public

    Forked from kris-brown/Computational-Category-Theoretic-Rewriting

    Notebooks to accompany the paper of the same name.

    Jupyter Notebook