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