A framework for applied category theory in the Julia language
Symbolic expressions, rewriting and simplification
Automatically update function definitions in a running Julia session
Computational algebraic number theory
Koç University deep learning framework
Topology optimisation designed for laser based additive manufacturing