Some projects in rewriting logic