A framework for applied category theory in the Julia language

Density-functional toolkit

A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.

Using Vulkan from Julia

A graphical editor for graph-like structures

Traits for julia: dispatch on whatever you want using where syntax

Spin dynamics and generalization to SU(N) coherent states

A julia package for representing and manipulating model semantics

Build Petri net models compositionally

Building dynamical systems compositionally

-

Relational Algebra, now with more algebra!

A framework for composing and simulating multiphysics systems

A Petri net modeling framework for the Julia programming language

Extremely fast generator-like alternative to Julia Channels

Simplicial sets and other combinatorial models of geometric spaces

A playground for Wannier functions

Accurate and fast tight-binding calculations, using pre-fit coefficients and three-body terms.

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

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

ACSets: Algebraic databases as in-memory data structures

Bayesian inference on wiring diagrams.

A Julia wrapper for the spglib C-API

A Julia package that implements a category of reaction (transportation) network-type dynamical systems.

Design scalable noise characterisation experiments for quantum computers

Centralised E2E verifiable evoting via pseudonym braiding and history trees

Monoid, Functor, Applicative, Monad and more

Reduced basis methods for parametrised eigenproblems

Provides basic data structures and helpful functions for manipulating structures, generating input files, pre-running error checks, etc.

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

Implementing extensible effects in Julia

Toolbox to study quantum many-body problem at the treelevel

Toolbox for the electron gas problem

High performance Brillouin Zone Meshes

Reinforcement learning, compositionally

Regulatory networks

-

Parse common Expr patterns. Speed up the process of defining stable macros.

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

Package providing base types for representing/manipulating periodic crystal structures.