chrisbartoloburlo

PhD Student at the Gran Sasso Science Institute.

Gran Sasso Science InstituteL'Aquila, Italy

Pinned Repositories

cots
Language:HTML0 1 00
cots-artefact
This is the repository for COTS, a model-based testing tool for RESTful applications.
Language:Scala0 1 00
ecoop2021-artifact
A monitor synthesis tool for session types.
Language:Scala1 3 00
fqueues
Never queue again in your life.
Language:Go0 1 00
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:Java0 0 00
scp2022-artifact
Language:Scala0 1 00
setts-interface
Language:Python0 1 00
stmonitor
A monitor synthesis tool for session types.
Language:Scala5 4 03
tailcallspp
Language:Scala0 3 00
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:Java21.4k 221 8.4k6.5k

chrisbartoloburlo/stmonitor
A monitor synthesis tool for session types.
Language:Scala5 4 03
chrisbartoloburlo/ecoop2021-artifact
A monitor synthesis tool for session types.
Language:Scala1 3 00
chrisbartoloburlo/cots
Language:HTML0 1 00
chrisbartoloburlo/cots-artefact
This is the repository for COTS, a model-based testing tool for RESTful applications.
Language:Scala0 1 00
chrisbartoloburlo/fqueues
Never queue again in your life.
Language:Go0 1 00
chrisbartoloburlo/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:Java0 0 00
chrisbartoloburlo/scp2022-artifact
Language:Scala0 1 00
chrisbartoloburlo/setts-interface
Language:Python0 1 00
chrisbartoloburlo/tailcallspp
Language:Scala0 3 00