2 results found Sort:

fdilke
bewl fdilke
3
61
unknown
10
A DSL for the internal language of a topos
dsl math topos-theory category-theory algebraic-structures
Created 2014-06-24
1,426 commits to master branch, last one 7 months ago
AlgebraicJulia
AlgebraicRelations.jl AlgebraicJulia
4
48
mit
8
Relational Algebra, now with more algebra!
algebra relational category-theory relational-algebra algebraic-structures relational-databases
Created 2020-06-10
98 commits to main branch, last one about a year ago