https://github.com/i-am-tom/fantas-eel-and-specification

Examples and exercises from the blog series

algebraic-structures example functional javascript typeclasses

Last synced: 26 Oct 2025

https://github.com/fdilke/bewl

A DSL for the internal language of a topos

algebraic-structures category-theory dsl math topos-theory

Last synced: 10 Mar 2026

https://github.com/algebraicjulia/algebraicrelations.jl

Relational Algebra, now with more algebra!

algebra algebraic-structures category-theory relational relational-algebra relational-databases

Last synced: 25 Oct 2025

https://github.com/andreaferretti/emmy

algebra algebraic-structures concepts nim

Last synced: 09 Apr 2025

https://github.com/typeclasses/partial-semigroup

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

algebraic-structures haskell haskell-library partial-semigroup semigroup

Last synced: 11 Dec 2025

https://github.com/chakravala/fieldalgebra.jl

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

algebra algebraic-data-types algebraic-structures commutative-algebra computer-algebra group-theory julia math mathematics multivariate-polynomials polynomial-arithmetic polynomials vector

Last synced: 04 Aug 2025

https://github.com/digitalheir/semiring-js

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

abstract-algebra algebra algebraic-structures algebras javascript log-semiring mathematics probability-semiring rig semiring string-semiring tropical underflow

Last synced: 14 Apr 2025

https://github.com/mihxil/math

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.

algebraic-structures java mathematics physics statistics

Last synced: 23 Jun 2025

https://github.com/ogeagla/clj-hypercomplex

A library for hypercomplex algebras in Clojure

algebraic-structures cayley-dickson clojure complex-numbers hypercomplex-number octonion quaternions

Last synced: 23 Feb 2026

https://github.com/sim642/ocaml-algebra

Small but neat OCaml library of (abstract) algebraic structures

algebra algebraic-structures coding-theory library ocaml ocaml-library university-of-tartu

Last synced: 04 Apr 2025

https://github.com/basemax/fgrouppy

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.

algebra algebra-software algebraic-data-types algebraic-structures fgroup group-theory group-theory-algorithms group-theory-loop grouptheory python software-algebra software-development software-engineering

Last synced: 03 Apr 2025

https://github.com/pthariensflame/agda-fumulas

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

agda agda-lang agda-library algebraic-structures formal-proofs math mathematics ring-theory

Last synced: 08 Jan 2026

https://github.com/ntapiam/pydend

Implementation of dendriform and tridendriform structures on Schröder trees

algebraic-structures linear-algebra mit-license

Last synced: 25 Mar 2025

https://github.com/incertia/crypto-primer

intro to crypto given to my coworkers at AIS

algebra algebraic-structures cryptography dh diffie-hellman ecc ecdh rsa

Last synced: 18 Jan 2026

https://github.com/chakravala/fieldconstants.jl

Field algebra constant parametric type

algebra algebraic-data-types algebraic-structures computer-algebra constant julia math mathematics

Last synced: 27 May 2026

https://github.com/reity/algebraical

Subclass of the built-in function type for representing algebraic operators (that are typically associated with algebraic structures and algebraic circuits) as immutable, hashable, sortable, and callable objects.

algebraic-operators algebraic-structures arithmetic arithmetic-operations arithmetic-operators python-algebra python-algebraic-operators python-algebraic-structures python-arithmetic python-constants python-library python-operations python-operators

Last synced: 17 Mar 2025