A tool for the model-driven development of information systems
Java Haskell Isabelle TeX JavaScript SQLPL Other
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Booster2-examples
Booster2-tests
Booster2
Workflow_Precond
gwi
.gitignore
LICENSE