A library for Communication between Languages. The indexing, analysis ..., comparison of existing abstract models of computation, mathematics, calculi, theorem-provers, compilers, proof assistants, automated program synthesizers, ..., (programming) languages. - View it on GitHub