Popular repositories Loading

1. catala catala Public

   Forked from CatalaLang/catala

   Programming language for literate programming law specification

   OCaml

2. uppaal-xtext uppaal-xtext Public

   Forked from uppaal-emf/uppaal-xtext

   An Xtext based parser and serializer framework for the file format used by Uppaal.

   Java

3. uppaal-metamodel uppaal-metamodel Public

   Forked from uppaal-emf/uppaal-metamodel

   A metamodel based on EMF for timed automata as defined by the UPPAAL tool environment

   Java

4. extracting-timed-automata extracting-timed-automata Public

   Forked from rtse-project/extracting-timed-automata

   Prototype Tool for SCAM 2017

   Java

5. org.eclipse.qvto org.eclipse.qvto Public

   Forked from eclipse-qvto/org.eclipse.qvto

   Java