I'm collecting formalizations of "morality" of any philosophical school.
(My special wishes is anything for Kant, which I don't understand and for whom I didn't find anything seriously formal, at least for my taste. And 'natural law school' from jurisprudence.)
Formalizations = anything with rigorous mathematical structure and what I can calculate, for example, with a computer (in limited toy examples with toy beings/worlds and maybe, in principle, for any real word problem). Randomized algorithms counts too.