Skip to content

A tool for the model-driven development of information systems

License

Notifications You must be signed in to change notification settings

dcharkes/Booster2

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Booster2

A tool for the model-driven development of information systems

About

A tool for the model-driven development of information systems

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • TeX 30.7%
  • Java 22.6%
  • Haskell 18.0%
  • Isabelle 15.7%
  • JavaScript 10.8%
  • CSS 1.9%
  • Other 0.3%