diff --git a/tools/lang/_index.md b/tools/mod/_index.md similarity index 72% rename from tools/lang/_index.md rename to tools/mod/_index.md index 9aa1846..c16a4ed 100644 --- a/tools/lang/_index.md +++ b/tools/mod/_index.md @@ -1,9 +1,9 @@ +++ -title = "Languages" +title = "Modeling (Tools and Languages)" layout = "section" +++ -This page lists all of the languages on this site in alphabetical order. +This page lists all of the modeling tools and Languages on this site in alphabetical order. Click a tool name in the first column to view tool details. Click a colorful item in the second column to view all the tools for which that term applies. Item colors mean nothing and are intended to make it easy to skim the page. diff --git a/tools/mod/jani.md b/tools/mod/jani.md new file mode 100644 index 0000000..37b1a44 --- /dev/null +++ b/tools/mod/jani.md @@ -0,0 +1,23 @@ ++++ +date = 2025-06-07 +draft = false +title = 'JANI' +subtitle = 'Quantitative Modeling Specification' +links = [ + { title = "Homepage", url = "https://momba.dev/", icon = 'fa-solid fa-home' }, + { title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-brands fa-github' }, + # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' } +] +applications = ['Modeling Language'] +developers = ['University of Twente', 'RWTH Aachen', 'ISCAS', 'Universidad Nacional de Cordoba'] +licenses = ['Apache-2.0', 'MIT'] +# inputs = ['Sally'] +# interfaces = ['CLI'] +maintenance = ['Actively Maintained'] +# techniques = ['CDCL'] +# publications = [''] ++++ + + + +The JANI specification defines the jani-model model interchange format and the jani-interaction tool interaction and automation protocol. \ No newline at end of file diff --git a/tools/mod/momba.md b/tools/mod/momba.md new file mode 100644 index 0000000..6cf8821 --- /dev/null +++ b/tools/mod/momba.md @@ -0,0 +1,23 @@ ++++ +date = 2025-06-07 +draft = false +title = 'Momba' +subtitle = 'Quantitative Modeling Framework' +links = [ + { title = "Homepage", url = "https://momba.dev/", icon = 'fa-solid fa-home' }, + { title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-brands fa-github' }, + # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' } +] +applications = ['Modeling Framework'] +developers = ['Saarland University'] +licenses = ['Apache-2.0', 'MIT'] +# inputs = ['Sally'] +# interfaces = ['CLI'] +maintenance = ['Actively Maintained'] +# techniques = ['CDCL'] +# publications = [''] ++++ + + + +Momba is a Python framework for dealing with quantitative models centered around the [JANI-model](../jani) interchange format. \ No newline at end of file diff --git a/tools/lang/tlaplus.md b/tools/mod/tlaplus.md similarity index 100% rename from tools/lang/tlaplus.md rename to tools/mod/tlaplus.md