Explore projects
-
Yingjian Wang / Hanoi_JastAdd
Apache License 2.0Updated -
Yingjian Wang / hanoi-extended-atom
Apache License 2.0Updated -
Yingjian Wang / UpdatedHanoi
Apache License 2.0Updated -
JastAdd / pnml / pmnl-marking
BSD 3-Clause "New" or "Revised" LicenseUpdated -
JastAdd / pnml / pnml-sample-extension
BSD 3-Clause "New" or "Revised" LicenseUpdated -
JastAdd / Jastadd2
BSD 3-Clause "New" or "Revised" LicenseClone of https://bitbucket.org/jastadd/jastadd2 - With CI-built package
Updated -
Updated
-
Updated
-
JastAdd / relational-rags
BSD 3-Clause "New" or "Revised" LicenseUpdated -
JastAdd / ros3rag
BSD 3-Clause "New" or "Revised" LicenseRAG part of the use case of the paper "Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars"
Updated -
Updated
-
Updated
-
JastAdd / Ragdoc Builder
BSD 3-Clause "New" or "Revised" LicenseUpdated -
JastAdd / pnml / pnml-relast
BSD 3-Clause "New" or "Revised" LicenseA grammar and reader for Petri nets in the PNML format.
Updated -
Updated
-
Updated
-
JastAdd / Reusable Analysis
GNU General Public License v3.0 onlyUpdated
