GitHub repository: AlgebraicJulia/AlgebraicRelations.jl
Primary language: Julia
Description: Relational Algebra, now with more algebra!