2 results found Sort:

fdilke
bewl fdilke
3
64
unknown
9
A DSL for the internal language of a topos
dsl math topos-theory category-theory algebraic-structures
Created 2014-06-24
1,433 commits to master branch, last one a day ago
AlgebraicJulia
AlgebraicRelations.jl AlgebraicJulia
4
52
mit
9
Relational Algebra, now with more algebra!
algebra relational category-theory relational-algebra algebraic-structures relational-databases
Created 2020-06-10
106 commits to main branch, last one about a month ago