inLab FIB

Popular repositories Loading

1. imp-logics imp-logics Public

   IMP Logics

   Java 4

2. PRISMA PRISMA Public

   PRISMA: a web-based reasoning tool to generate realistic model instances

   2

3. toopath-api toopath-api Public archive

   Python 1 2

4. toopath-web toopath-web Public archive

   TypeScript 1 2

5. declarative-domain-testing-poc declarative-domain-testing-poc Public

   Declarative Domain Testing - Proof of Concept

   Java 1

6. imp-blast imp-blast Public

   IMP BLAST

   Java 1