Yes, FunctionHub is one interesting project in that space, and it is geared towards expressing the meaning of primitive functions in different formalisms. Another related, interesting project is the
http://codeontology.org/
We should make sure to learn lessons from all of these! I wonder how we can set up a system where we can have people who have deeply delved into these topics, participate in our conversations and benefit from their expertise. Simply inviting them to the
mailing list doesn't really make the trick.