Ufrgs-semantica is a project mainly written in Scala, it's free.
Final project for the Formal Semantics class at UFRGS
404: Not Found