Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

clojars.org "model-transformations" keyword

henshin 1.0.0 💰
The Henshin Transformation Engine (Inofficially repackaged for Maven)
1 version - Latest release: over 6 years ago - 1 dependent package - 1 dependent repositories - 209 downloads total - 0 stars on GitHub - 1 maintainer
org.clojars.pkoerner/lisb 0.0.6
lisb: A Clojure library that wraps ProB's constraint solver. Use it to write/transform B machines...
5 versions - Latest release: about 1 year ago - 1.01 thousand downloads total - 5 stars on GitHub - 1 maintainer
Related Keywords
henshin 1 maven 1 b-method 1 dsl 1 embedding 1 event-b 1 formal-methods 1 tooling 1