Fork of git://rsymbolic.org/rgp