Onion salt has been placed in the public domain by David Roundy.

I believe that TweetNaCl is also in the public domain.