Examples and exercises from the blog series

A DSL for the internal language of a topos

Relational Algebra, now with more algebra!

Opycleid - A Python package for transformational music theory

Спецификация для совместимости общих алгебраических структур в JavaScript

A partial binary associative operator (appendMaybe :: a → a → Maybe a)

An algebra system written in OCaml

💫 A library for working with ring-like algebraic structures that implements some common semirings

Algebraic structure implementations, do-notation, and operators to truly live the fantasy

Field-algebra based on Group / Ring symbolic vector module extension

A simple, versatile engine to handle runtime customizable boolean logic

Interfaces abstract algebra's, and the concept of 'uncertain number'. Based on that some structures related to physics, like physical numbers, which are uncertain numbers with dimensional analysis.

A library for hypercomplex algebras in Clojure

Small but neat OCaml library of (abstract) algebraic structures

Unifying parallel and sequential operations

FGroupPy is a software tool that allows you to perform various operations and analyses on mathematical groups. It provides a Python class called Group that represents a group and offers a set of methods to work with groups, including checking group properties, finding subgroups, generating multiplication tables, identifying normal subgroups, etc.

Python implementation of Category Theory

An general computer algebra library

An exploration of fumulas in Agda—a new perspective on ring theory