Giters
Nazareno Garagiola (NazaGara)

NazaGara

Geek Repo

9

followers

10

following

9

stars

Location:Saarbrücken, Germany

Github PK Tool:Github PK Tool

Nazareno Garagiola's repositories

momba

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

Language:PDDLLicense:Apache-2.0Stargazers:1Issues:0Issues:0

betoNER

Language:Jupyter NotebookLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

Coyan

Coyan is a tool that processes Static Fault Trees to compute the Top Event Probabilty.

Language:RustLicense:MITStargazers:0Issues:0Issues:0