Applied Category Theory research at the Topos Institute
Stanford PhD 2021
-
Topos Institute
- https://krisb.org
- @ksb_id
Pinned Loading
-
AlgebraicJulia/Catlab.jl
AlgebraicJulia/Catlab.jl PublicA framework for applied category theory in the Julia language
-
AlgebraicJulia/AlgebraicRewriting.jl
AlgebraicJulia/AlgebraicRewriting.jl PublicImplementations of algebraic rewriting techniques like DPO, SPO, SqPO.
-
AlgebraicJulia/Decapodes.jl
AlgebraicJulia/Decapodes.jl PublicA framework for composing and simulating multiphysics systems
-
AlgebraicJulia/CSetAutomorphisms.jl
AlgebraicJulia/CSetAutomorphisms.jl PublicAutomorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
-
AlgebraicJulia/ModelExploration.jl
AlgebraicJulia/ModelExploration.jl PublicLeveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
-
CombinatorialEnumeration.jl
CombinatorialEnumeration.jl PublicEnumerate models of finite limit sketches up to isomorphism
Julia 4
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.