This website lists a collection of open (meta-) Language Engineering Tools curated by the Programming Languages and Verification (PLaV) team of the University of Amsterdam. The collection contains libraries/EDSLs for language engineering, software analysis, transformation and verification. There are libraries for parsing, analysing and manipulating abstract-syntax trees (AST), developing static analyses and interpreters.

Managed libraries are developed and/or maintained by the PLaV team. Used libraries are libraries used and recommended by the team. Case studies are projects that demonstrate the use of one or more of the libraries. Implementations are mature projects that have seen external uptake.

The website is at an early stage; new content is being added.

Browse the libraries and projects by category:

• Cases
• Implementations
• Managed
• Used

Current contributors:

• Thomas van Binsbergen
• Tommaso Pacciani
• Damian Frölich