AlgebraicJulia/AlgebraicRewriting.jl

Stars
25
Rank 958,066 (Top 19 %)
Language
Julia
License
MIT License
Created over 2 years ago
Updated about 2 months ago

AlgebraicJulia/AlgebraicRewriting.jl

AlgebraicJulia

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

Catlab.jl

A framework for applied category theory in the Julia language

Semagrams.jl

A graphical editor for graph-like structures

AlgebraicPetri.jl

Build Petri net models compositionally

CompTime.jl

Library for compile-time computing in julia

AlgebraicDynamics.jl

Building dynamical systems compositionally

Jupyter Notebook

StockFlow.jl

AlgebraicRelations.jl

Relational Algebra, now with more algebra!

Decapodes.jl

A framework for composing and simulating multiphysics systems

Petri.jl

A Petri net modeling framework for the Julia programming language

CombinatorialSpaces.jl

Simplicial sets and other combinatorial models of geometric spaces

GATlab.jl

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

ACSets.jl

ACSets: Algebraic databases as in-memory data structures

Structured-Epidemic-Modeling

Results and software for our paper on structured epidemic modeling

Jupyter Notebook

Kittenlab.jl

A simplified Catlab.jl for teaching

Jupyter Notebook

CSetAutomorphisms.jl

Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures

ModelExploration.jl

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

py-acsets

A Catlab-compatible implementation of acsets in python.

Poly.jl

Polynomial functors and applications

RegNets.jl

Regulatory networks

DiagrammaticEquations.jl

StructuredDecompositions.jl

Structured decompositions!

AlgebraicControl.jl

Optimal control compositionally

CombinatorialChains.jl

Jupyter Notebook

GraphicalLinearAlgebra.jl

Theories of linear algebra and graphical linear algebra

ASKEM-demos

Jupyter Notebook

algebraicjulia.org

Landing page for AlgebraicJulia

CANMOD-2022

Materials for 2022 CANMOD Workshop on Compositional Methods for Health Modeling

AlgebraicOptimization.jl

AlgebraicInterfaces.jl

An interface package for AlgebraicJulia

intertypes

AlgebraicWorkflows.jl

ACT2023Tutorials

SyntacticModels.jl

Specifying models with syntax trees

CategoricalTensorNetworks.jl

Tensor networks from a categorical point of view

Dtries.jl

Directories in Julia

AssociatedTests.jl

Tests that follow directly after functions

DataMigrations.jl

AlgebraicABMs.jl

Stochastic graph rewriting for agent based modeling

quarto-website

A template for making a quarto website that deploys to Netlify

InterTypesTemplate.jl

a template for use of intertypes

ASKEM.jl

A library of curated AlgebraicJulia functionality for the ASKEM program

StatisticalTheories.jl

Statistical theories and models

StateCharts.jl

ts-acsets

An implementation of acsets in typescript

DECAPODES-Benchmarks

Benchmarks, results, and software for our paper on computational physics

AlgebraicTemplate.jl

A template repository for making a new AlgebraicJulia package.

acsets4j

InterTypes-compatible acsets for java

pubs-database

A database of clean bibtex files

AlgebraicMetabolism.jl