Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
2updated -
TASTE / dmt
Data Modelling Technologies
2updated -
TASTE / taste-model-checker
The TASTE Model Checker.
1updated -
1updated
-
TASTE / vdm
Test area for the VDM integration in taste
-
TASTE / antlr3-python
ANTLR3 Python Runtime
-
0updated
-
TASTE / buildsupport-python
Python version of Buildsupport (under development, early prototype)
0updated -
TASTE / asn1-iterators
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
0updated -
TASTE / taste-sockets
Demos showing how to work with sockets, using either a distributed system or using blackbox devices
0updated -
TASTE / install-scripts
Place to put new installation script for the toolchain
0updated -
0updated
-
0updated
-
0updated
-
0updated
-
TASTE / sdl-fsharp
FSharp parser for SDL / OpenGEODE
0updated -
TASTE / PandA
The primary objective of the PandA project is to develop a usable framework that will enable the research of new ideas in the HW-SW Co-Design field. PandA is developed at Politecnico di Milano (Italy) and released under GPL3
0updated
