Data

Tools

Indexes

Applications

Experiments

Open Source Science

Updated 11 months ago

featherweight_ocl • Rank 1.4 • Science 31%

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

Updated 11 months ago

https://github.com/besser-pearl/b-ocl-interpreter • Science 13%

B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that utilises a parser and listener generated via an ANTLR4 grammar.

Updated 11 months ago

besser • Science 44%

A Python-based low-modeling low-code platform for smart and AI-enhanced software