All Categories → No Category → algebraic-structures

Top 3 algebraic-structures open source projects

AlgebraicRelations.jl

Relational Algebra, now with more algebra!

✭ 31

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

A DSL for the internal language of a topos

✭ 41

scala shell math category-theory algebraic-structures topos-theory

partial-semigroup

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

✭ 14

haskell Nix semigroup algebraic-structures partial-semigroup

1-3 of 3 algebraic-structures projects