AlessandroCaste's repositories
Language:Java000
Language:Java000
ant-design
🌈 A UI Design Language and React UI library
MIT000
bigraph-vscode
Bigraph Language support for vscode
GPL-3.0000
SynkrisisJupyter
A Jupyter Notebook implementation for the Synkrisis Toolchain
Language:C++Unlicense000
bigmc
The BigMC Bigraphical Analysis Tool
Language:C++GPL-3.0000
Synkrisis-docker
A Docker Image for the Synkrisis Bigraphical Reactive Systems Toolchain
Language:C++Unlicense000
Language:Java000
Language:Java000
MyApplicationTest
Android test!
Language:Java000
Language:HTML000
HTML-newsletter-builder
A command line tool to help build and preprocess email newsletters
000
bigmc-gui
A simple GUI interface to the BigMC Bigraphical Model Checker
Language:Java000