ACSets: Algebraic databases as in-memory data structures

Julia-side implementation of the Aiida plugin of DFTK

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

High performance Brillouin Zone Meshes

A framework for applied category theory in the Julia language

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

Enumerate models of finite limit sketches up to isomorphism

Simplicial sets and other combinatorial models of geometric spaces

Read Configurations.jl from ENV

Extremely fast generator-like alternative to Julia Channels

Provides some crystallography operations

This package contains some basic functionalities of Crystallography.jl

This package contains some core functionalities of Crystallography.jl

Plotting crystal structures and relevant data obtained from CrystallographyBase.jl and Crystallography.jl

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

-

A framework for composing and simulating multiphysics systems

Density-functional toolkit

-

Toolbox for the electron gas problem

Effective field theory approach to the electron liquid problem

Code to read and manipulate EQDSK files, describing plasma equilibirium model

The command-line interface of Express.jl

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

Implementing extensible effects in Julia

-

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

-

Toolbox to study quantum many-body problem at the treelevel

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

Calculate linear elasticity for some crystals

A notation system in crystallography for lattice planes in crystal (Bravais) lattices

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

Interfacing NumericalEFT with TRIQS and other external packages.

Centralised E2E verifiable evoting via pseudonym braiding and history trees