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

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

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

An algebra system written in OCaml

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

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

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

A simple, versatile engine to handle runtime customizable boolean logic

A library for hypercomplex algebras in Clojure

Small but neat OCaml library of (abstract) algebraic structures

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.

An general computer algebra library

Algebraic Proof System

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.

Playing around with implementations of different algebraic structures in C++

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