Giters
Christian Bartolo Burlò (chrisbartoloburlo)

chrisbartoloburlo

Geek Repo

8

followers

13

following

23

stars

Company:Gran Sasso Science Institute

Location:L'Aquila, Italy

Twitter:@bartoloburlo

Github PK Tool:Github PK Tool

Christian Bartolo Burlò's repositories

stmonitor

A monitor synthesis tool for session types.

Language:ScalaLicense:BSD-2-ClauseStargazers:5Issues:4Issues:0

ecoop2021-artifact

A monitor synthesis tool for session types.

Language:ScalaLicense:BSD-2-ClauseStargazers:1Issues:3Issues:0

cots

Language:HTMLStargazers:0Issues:1Issues:0

cots-artefact

This is the repository for COTS, a model-based testing tool for RESTful applications.

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

fqueues

Never queue again in your life.

Language:GoStargazers:0Issues:1Issues:0

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

scp2022-artifact

Language:ScalaLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

setts-interface

Language:PythonStargazers:0Issues:1Issues:0

tailcallspp

Language:ScalaStargazers:0Issues:3Issues:0