Atlanmod

(IMT-Atlantique, LS2N)

Nantes

Pinned Repositories

ATLGT
Bidirectional version of ATL on top of the GRoundTram transformation engine
Language:OCaml6 10 141
coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Language:Coq13 6 4412
CyprIoT
Design a network of things.
Language:Java4 7 41
emfviews
Lightweight views for your models
Language:Java15 8 143
Mogwai
Automatic translation from OCL to Gremlin
Language:Java10 14 466
mondo-atlzoo-benchmark
Language:Java4 11 21
NeoEMF
Multi-backend EMF persistence framework.
Language:Java51 22 8417
Prefetching_Caching_DSL
DSL to express Caching/Prefetching rules for NeoEMF
Language:Java4 3 51
UML2NoSQL
Language:Java7 6 03
zoo
Atlanmod Zoo
Language:Shell6 6 02

Atlanmod's Repositories

atlanmod/NeoEMF
Multi-backend EMF persistence framework.
Language:Java51 22 8417
atlanmod/emfviews
Lightweight views for your models
Language:Java15 8 143
atlanmod/coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Language:Coq13 6 4412
atlanmod/ATLGT
Bidirectional version of ATL on top of the GRoundTram transformation engine
Language:OCaml6 10 141
atlanmod/zoo
Atlanmod Zoo
Language:Shell6 6 02
atlanmod/CyprIoT
Design a network of things.
Language:Java4 7 41
atlanmod/mondo-atlzoo-benchmark
Language:Java4 11 21
atlanmod/Prefetching_Caching_DSL
DSL to express Caching/Prefetching rules for NeoEMF
Language:Java4 3 51
atlanmod/pacmon
Framework for monitoring energy consumptions of Java programs
Language:Java3 3 01
atlanmod/modisco
Model Discover
Language:Java2 7 02
atlanmod/atlanmod-model-finder
CLI tool to download models
Language:Java1 5 0
atlanmod/atlantic-zoo
Language:HTML1 6 02
atlanmod/coqtl-model-import
Language:Xtend1 5 01
atlanmod/DynamicAnalyser
Dynamically analyses the source code by running tests after an instrumentation
Language:Java1 3 61
atlanmod/eel
EEL, a language to estimate the energy consumption of running models.
Language:Java1 3 43
atlanmod/EnergyModel
Language:Java1 3 00
atlanmod/model-consistency
Model Consistency Prototype
Language:Java1 3 01
atlanmod/sexp2emf
Turn S-expressions into EMF models
Language:Java1 6 0
atlanmod/theia-ecore-editor
Reflective ecore tree editor for Theia based on ModelServer
Language:TypeScript1 6 0
atlanmod/Atlanmod-Resource-Server
Language:Java0 5 00
atlanmod/Commons
A library of common classes and methods used in Atlanmod's projects
Language:Java0 5 14
atlanmod/emf-views-by-example
A collection of examples using EMF views
Language:Java0 2 00
atlanmod/SparkTE_public
Language:Scala0 6 00
atlanmod/algae
Language:Java7 0
atlanmod/atlanmod-model-server
Generic model server implementation
Language:Java
atlanmod/atlanmod-platform
Atlanmod Platform
atlanmod/atlanmod.github.io
Github Website
Language:JavaScript
atlanmod/emf
EMF project repository (emf)
Language:Java6 0
atlanmod/SparkTL
Language:Scala5 0
atlanmod/vsc-coqtl
Container for remote developpement of coqtl in Visual Studio Code
Language:Dockerfile5 0