-

Boundary Element Analysis and Simulation Toolkit

Chemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and O(1) solvers in open source software.

Specifying models with syntax trees

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

A framework for applied category theory in the Julia language

A Julia package for solving nonlinear differential equations using the harmonic balance method.

Building dynamical systems compositionally

Algorithms and data structures for game theory in Julia

Computational Geometry Foundations for Finite and Boundary Element Methods

Create grid mazes

A Julia package for solving systems of polynomials via homotopy continuation.

A framework for composing and simulating multiphysics systems

Tutorials for doing scientific machine learning (SciML) and high-performance differential equation solving with open source software.

Bayesian inference on wiring diagrams.

Functions to/from {1,2,...,n}

Implicitly defined graphs (possibly infinite)

ACSets: Algebraic databases as in-memory data structures

A graphical editor for graph-like structures

Simplicial sets and other combinatorial models of geometric spaces

-

Additional algorithms for the SimplePoset type.

Additional algorithms for the `SimpleGraphs` module that rely on integer programming

Drawing functions for `SimpleGraphs`

Module for set partitions

Build Petri net models compositionally

-

-

A Petri net modeling framework for the Julia programming language

ParameterEstimation.jl is a Julia package for estimating parameters and initial conditions of ODE models given measurement data.

-

-

The Fresa Julia package for black-box optimization

Probabilistic programming via source rewriting

Simple partially ordered sets for Julia

A julia package for representing and manipulating model semantics

-

A simple interface to the nauty/trace code to test graph isomorphism.

Gaussian Mixture Model Parameter Estimation

Tools to specify and simulate individual based models, using applied category theory