AlgebraicJulia
AlgebraicJulia aims to create novel approaches to scientific computing based on applied category theory, and constitutes an ecosystem of software based on generalized algebra and category theory in Julia.

Name Description Development Status
Catlab.jl A framework for applied category theory in the Julia language
The package is nearing it'sv1.0.0release
AlgebraicPetri.jl Build petri net agent based models compositionally
Functionality is mostly built-out, but the API may change substantially
AlgebraicRelations.jl Build SQL categorically
Functionality is mostly built-out, but the API may change substantially.
AlgebraicDynamics.jl Build dynamical systems compositionally
Functionality is mostly built-out, but the API may change substantially.
CombinatorialSpaces.jl Simplicial sets and other combinatorial models of geometric spaces
Functionality is mostly built-out, but the API may change substantially.

PAGE NAVIGATOR(Help)
-
EIDM  »EIDM 
Software »Software
Software programs »Software programs
AlgebraicJulia
AlgebraicDynamics.jl »AlgebraicDynamics.jl
AlgebraicPetri.jl »AlgebraicPetri.jl
AlgebraicRelations.jl »AlgebraicRelations.jl
Catlab.jl »Catlab.jl
CombinatorialSpaces.jl »CombinatorialSpaces.jl
Julia »Julia
Category Theory »Category Theory
Nathaniel Osgood »Nathaniel Osgood
22/08/02 Compositional methods for health modeling »22/08/02 Compositional methods for health modeling
23/11/14 Nathaniel Osgood »23/11/14 Nathaniel Osgood
+Commentaar (0)
+Citaten (4)
+About