Giters
idhugoid

idhugoid

Geek Repo

3

followers

2

following

2

stars

Company:Aarhus University

Home Page:http://pure.au.dk/portal/en/persons/hugo-daniel-macedo(3aa1ff16-43b0-40c9-8052-a4a12be8758b).html

Twitter:@idhugoid

Github PK Tool:Github PK Tool

idhugoid's repositories

fmi-standard.org

Website of the Functional Mock-up Interface (FMI)

Language:HTMLStargazers:0Issues:0Issues:0

hubcap

Language:HTMLStargazers:0Issues:0Issues:0

idhugoid

Stargazers:0Issues:0Issues:0

overture-release-scripts

Language:ShellStargazers:0Issues:1Issues:0

vdmj

Formal Modelling in VDM

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0