Pinned Loading

1. NeoEMF NeoEMF Public

   Multi-backend EMF persistence framework.

   Java 55 19

2. emfviews emfviews Public

   Lightweight views for your models

   Java 16 3

3. coqtl coqtl Public

   CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq

   Coq 14 13