Raskell is a prototype Rosetta development environment built around the InterpreterLib interpreter libraries and the algc algebra compiler. Currently, Raskell provides a Parsec-based parser for Rosetta source and a basic type checking capability. Both are continually being updated, so it is wise to check back frequently for updates.

To build the Rosetta parser and type checker you must install InterpreterLib and algc available from the SLDG projects page.

Prufrock is a generic theorem prover development environment designed to target multiple syntaxes. It was originally developed to support Rosetta analysis, but has not been updated to work with the new Raskell parser. It remains here largely for historical purposes, but you are welcome to download and play with it.