inLabFIB/imp-logics-demo

IMP Logics library demonstration

Language: Java - Size: 1.07 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

inLabFIB/testing-obda-experiments

Language: Shell - Size: 31.1 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

inLabFIB/imp-logics

Language: Java - Size: 530 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

inLabFIB/git-workshop-lab Fork of TheMatrix97/git-workshop-lab

A brief introduction to a Git. Using a "real" case scenario

Size: 12.1 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

inLabFIB/toopath-web

Language: TypeScript - Size: 1.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 2

inLabFIB/toopath-api

Language: Python - Size: 195 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 2