Atlanmod

Pinned Loading

1. NeoEMF NeoEMF Public

   Multi-backend EMF persistence framework.

   Java 57 18

2. emfviews emfviews Public

   Lightweight views for your models

   Java 15 3

3. coqtl coqtl Public

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

   Coq 14 13