ACSets: Algebraic databases as in-memory data structures

Building dynamical systems compositionally

Bayesian inference on wiring diagrams.

Build Petri net models compositionally

Relational Algebra, now with more algebra!

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

Reinforcement learning, compositionally

Boundary Element Analysis and Simulation Toolkit

-

A framework for applied category theory in the Julia language

Enumerate models of finite limit sketches up to isomorphism

Simplicial sets and other combinatorial models of geometric spaces

Computational Geometry Foundations for Finite and Boundary Element Methods

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

-

A framework for composing and simulating multiphysics systems

DecomposingPolynomialSystems.jl is a Julia package that decomposes (simplifies) a given polynomial system using tools from numerical algebraic geometry.

A Julia implementation of several tools for solving school-choice problems and computing equilibria in nonatomic school-choice markets.

-

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

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

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

Drawing functions for `SimpleGraphs`

-

-

The Fresa Julia package for black-box optimization

Algorithms and data structures for game theory in Julia

-

Gaussian Mixture Model Parameter Estimation

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

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

-

Implicitly defined graphs (possibly infinite)

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

Simulate Machine Learning-based Business Processes in Julia

-

Compute MLEs for linear covariance models

Create grid mazes

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

-