atlanmod/coqtl atlanmod/coqtl

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language Coq
  • License
    Other
  • Created over 6 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
atlanmod/coqtl
github

atlanmod

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

NeoEMF

Multi-backend EMF persistence framework.
Java
51
star
2

emfviews

Lightweight views for your models
Java
15
star
3

Mogwai

Automatic translation from OCL to Gremlin
Java
10
star
4

UML2NoSQL

Java
7
star
5

ATLGT

Bidirectional version of ATL on top of the GRoundTram transformation engine
OCaml
6
star
6

zoo

Atlanmod Zoo
Shell
6
star
7

mondo-atlzoo-benchmark

Java
4
star
8

Prefetching_Caching_DSL

DSL to express Caching/Prefetching rules for NeoEMF
Java
4
star
9

CyprIoT

Design a network of things.
Java
4
star
10

hadoop-cluster-docker

A test environment for ATL-MR (ATL in MapReduce)
Shell
3
star
11

pacmon

Framework for monitoring energy consumptions of Java programs
Java
3
star
12

ATL_MR

ATL on MapReduce
Java
2
star
13

busfactor_demo

Bus factor demo SANER'15
2
star
14

modisco

Model Discover
Java
2
star
15

monoge

(Deprecated) Lightweight metamodel extension
Java
2
star
16

NeoEMF-hbase

A decentralized implementation of NeoEMF in HBase
Java
1
star
17

mondo-openbim-benchmark

Assembly
1
star
18

atlantic-zoo

HTML
1
star
19

DynamicAnalyser

Dynamically analyses the source code by running tests after an instrumentation
Java
1
star
20

openness

Analyzing openness of GitHub projects
1
star
21

EnergyModel

Java
1
star
22

org.eclipse.atl.reactive

Assembly
1
star
23

sexp2emf

Turn S-expressions into EMF models
Java
1
star
24

arduinomodeling

Java
1
star
25

csy-traceability

Java
1
star
26

OCL2fUML

Assembly
1
star
27

neoEMF-Instantiator

A random generator of EMF models, using the NeoEMF
Java
1
star
28

coqtl-model-import

Xtend
1
star
29

MDE4RTS

Java
1
star
30

EMFTVM-D

a fork of the official alt repository extending emftvm to handle distributed execution environment
Assembly
1
star
31

org.eclipse.atl.reactive.haskell_semantics

Haskell
1
star
32

dynamic_modisco

Inject dynamic analysis into MoDisco models
Kotlin
1
star
33

eel

EEL, a language to estimate the energy consumption of running models.
Java
1
star
34

atlanmod-model-finder

CLI tool to download models
Java
1
star
35

ttc-2013-flowgraphs-ATL

Assembly
1
star
36

theia-ecore-editor

Reflective ecore tree editor for Theia based on ModelServer
TypeScript
1
star
37

model-consistency

Model Consistency Prototype
Java
1
star
38

fREX

fUML-based reverse engineering of executable behavior
Assembly
1
star